Details

Time bar (total: 54.2s)

sample378.0ms

Algorithm
intervals
Results
220.0ms1522×body80nan
72.0ms501×body80valid

simplify168.0ms

Calls
1 calls:
Slowest
168.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize54.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.7b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.3b
(* y (log z))
0.2b
(* (- t 1.0) (log a))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube associate-*r* add-exp-log
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×exp-prod associate-*l* exp-sum
2×exp-diff associate-*l/ *-commutative
1×clear-num sub-neg frac-2neg flip3-- pow-prod-down prod-exp associate--l+ associate-*r/ cbrt-unprod div-inv flip-- associate-/l* rem-exp-log associate-/l/
Calls
4 calls:
Slowest
27.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
21.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
5.0ms
(* (- t 1.0) (log a))
1.0ms
(* y (log z))

series516.0ms

Calls
4 calls:
Slowest
209.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
170.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
73.0ms
(* (- t 1.0) (log a))
64.0ms
(* y (log z))

simplify4.8s

Calls
34 calls:
Slowest
490.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
432.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
303.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))
302.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
279.0ms
(* (- (* t t) (* 1.0 1.0)) (log a))

prune1.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.8b

localize6.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
0.3b
(* y (log z))
0.2b
(* (- t 1.0) (log a))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube associate-*r* add-exp-log
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×exp-prod associate-*l* exp-sum
2×exp-diff associate-*l/ *-commutative
1×clear-num associate-/r* sub-neg frac-2neg flip3-- pow-prod-down prod-exp associate--l+ associate-*r/ associate-/r/ cbrt-unprod div-inv flip-- rem-exp-log
Calls
4 calls:
Slowest
28.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
13.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
9.0ms
(* (- t 1.0) (log a))
3.0ms
(* y (log z))

series516.0ms

Calls
4 calls:
Slowest
255.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
149.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
74.0ms
(* (- t 1.0) (log a))
38.0ms
(* y (log z))

simplify4.8s

Calls
35 calls:
Slowest
469.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
412.0ms
(/ y (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))))
333.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))
301.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
273.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)

prune1.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.8b

localize23.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
9×exp-prod exp-sum
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×add-log-exp
4×cbrt-prod expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg exp-diff associate--l+ rem-exp-log
1×cbrt-div pow1/3 div-inv
Calls
4 calls:
Slowest
42.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
26.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
26.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

series824.0ms

Calls
4 calls:
Slowest
321.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
180.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
167.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
155.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.1s

Calls
41 calls:
Slowest
458.0ms
(exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (+ (* t (log -1)) (log (/ -1 y))))) (+ b (+ (* 1.0 (log -1)) (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (* y (log (/ -1 z))))))))))
318.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
317.0ms
(+ (* 1/3 (* y (* (log z) (exp (* 1/3 (- (log x) (+ (* 1.0 (log a)) (log y)))))))) (+ (* 1/3 (* t (* (log a) (exp (* 1/3 (- (log x) (+ (* 1.0 (log a)) (log y)))))))) (exp (* 1/3 (- (log x) (+ (* 1.0 (log a)) (log y)))))))
308.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
297.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))

prune1.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.7b

localize34.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))
0.8b
(cbrt (/ (* x (exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))) y))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
12×exp-sum
9×add-sqr-sqrt exp-prod *-un-lft-identity add-cube-cbrt add-log-exp
4×cbrt-prod expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u rem-exp-log
3×sub-neg exp-diff prod-diff associate--l+
1×cbrt-div pow1/3 diff-log fma-udef div-inv
Calls
4 calls:
Slowest
42.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
28.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
17.0ms
(exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))
3.0ms
(cbrt (/ (* x (exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))) y))

series996.0ms

Calls
4 calls:
Slowest
464.0ms
(cbrt (/ (* x (exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))) y))
208.0ms
(exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))
180.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
144.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify10.0s

Calls
45 calls:
Slowest
691.0ms
(exp (* (cbrt (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a)))) (cbrt (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))))
449.0ms
(exp (fma 1 (fma (log a) t (- (* y (log z)) b)) (- (* (log a) 1.0))))
388.0ms
(cbrt (* x (exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))))
381.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
371.0ms
(exp (sqrt (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a)))))

prune2.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.7b

regimes2.5s

Accuracy

0% (1.1b remaining)

Error of 1.9b against oracle of 0.8b and baseline of 1.9b

bsearch17.0ms

end0.0ms

sample13.5s

Algorithm
intervals
Results
8.8s45862×body80nan
2.6s15393×body80valid