Details

Time bar (total: 1.2m)

sample495.0ms

Algorithm
intervals
Results
310.0ms1394×body80nan
99.0ms484×body80valid

simplify214.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
214.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.2b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite681.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
27×*-un-lft-identity
25×add-cube-cbrt
24×exp-sum
19×associate-*r*
18×prod-diff
13×add-cbrt-cube
11×add-exp-log
10×add-log-exp
9×pow1
6×log-prod associate-*l*
5×exp-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×distribute-rgt-in associate-/r* distribute-lft-in times-frac exp-diff prod-exp cbrt-unprod rem-exp-log
2×cbrt-undiv sub-neg diff-log div-exp pow-prod-down associate--l+ associate-*r/ *-commutative unswap-sqr
1×clear-num sum-log frac-2neg log-pow div-inv associate-/l* distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 118
Calls
4 calls:
Slowest
343.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
214.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
107.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
14.0ms
(* y (log z))

series668.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
236.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
207.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
164.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
60.0ms
(* y (log z))

simplify13.9s

Counts
86 → 130
Calls
86 calls:
Slowest
488.0ms
(exp (fma (* (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
445.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
419.0ms
(/ (* (* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
411.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
408.0ms
(+ (log x) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.6b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite878.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
15×cbrt-div exp-diff
13×add-exp-log
9×add-cbrt-cube
7×associate-/l/
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×frac-times associate-*l/
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod cbrt-undiv associate-/r* times-frac pow1/3 div-exp prod-exp cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 72
Calls
4 calls:
Slowest
276.0ms
(/ (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
219.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
215.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
167.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
343.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
330.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
330.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
324.0ms
(/ (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

simplify11.1s

Counts
40 → 84
Calls
40 calls:
Slowest
559.0ms
(- (+ (log (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (log (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (log y))
519.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
463.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
435.0ms
(/ (* (* (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
428.0ms
(/ (* (* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))

prune1.7s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.6b

localize117.0ms

Local error

Found 4 expressions with local error:

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

rewrite913.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt expm1-log1p-u pow1 cbrt-div *-un-lft-identity add-cbrt-cube exp-diff pow1/3 associate-*r/ add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
Slowest
253.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
233.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
226.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
200.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
354.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
342.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
340.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
332.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify5.4s

Counts
20 → 64
Calls
20 calls:
Slowest
497.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
491.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
467.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
427.0ms
(+ (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (+ (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* (log z) y))) (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* t (log a))))))
424.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))

prune1.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.6b

localize172.0ms

Local error

Found 4 expressions with local error:

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

rewrite777.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt expm1-log1p-u pow1 cbrt-div *-un-lft-identity add-cbrt-cube exp-diff pow1/3 associate-*r/ add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
Slowest
224.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
201.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
178.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
173.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
402.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
379.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
335.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
333.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify5.0s

Counts
20 → 64
Calls
20 calls:
Slowest
461.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
407.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
407.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
403.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
367.0ms
(+ (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (+ (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* (log z) y))) (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* t (log a))))))

prune2.2s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 0.6b

regimes2.6s

Accuracy

40.7% (0.8b remaining)

Error of 1.5b against oracle of 0.7b and baseline of 2.0b

bsearch594.0ms

end0.0ms

sample14.8s

Algorithm
intervals
Results
9.0s45485×body80nan
3.4s15104×body80valid