Details

Time bar (total: 1.3m)

sample486.0ms

Algorithm
intervals
Results
273.0ms1490×body80nan
129.0ms482×body80valid

simplify179.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

localize30.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.3b
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
0.3b
(* y (log z))

rewrite596.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×*-un-lft-identity
13×add-cbrt-cube add-cube-cbrt
11×add-exp-log
10×associate-*r* add-log-exp
9×pow1
6×log-prod associate-*l* exp-sum
5×exp-prod
4×insert-posit16
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 → 92
Calls
4 calls:
Slowest
257.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
215.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
109.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
13.0ms
(* y (log z))

series783.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
280.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
242.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
201.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
59.0ms
(* y (log z))

simplify11.1s

Counts
68 → 104
Calls
68 calls:
Slowest
727.0ms
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
545.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
490.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))
488.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
395.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.6b

localize61.0ms

Local error

Found 4 expressions with local error:

1.4b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.4b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
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))

rewrite589.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube
16×add-exp-log
13×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
10×add-log-exp
9×associate-/r* times-frac
6×cbrt-undiv div-exp
5×exp-prod
4×pow1 exp-diff insert-posit16
3×clear-num frac-2neg exp-sum prod-exp associate-*r/ cbrt-unprod div-inv associate-/l* rem-exp-log associate-/l/
2×diff-log
1×sum-log sub-neg associate--l+ distribute-lft-out-- difference-of-squares
Counts
4 → 89
Calls
4 calls:
Slowest
185.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
172.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
167.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
63.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series875.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
264.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
218.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
217.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
176.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify14.8s

Counts
63 → 101
Calls
63 calls:
Slowest
540.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
533.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))
511.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
504.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))
488.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))

prune2.7s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.6b

localize96.0ms

Local error

Found 4 expressions with local error:

2.0b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.0b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.0b
(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)

rewrite900.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×pow1 insert-posit16 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 → 64
Calls
4 calls:
Slowest
315.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)
206.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
190.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
187.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
364.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
357.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
294.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
293.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.0s

Counts
40 → 76
Calls
40 calls:
Slowest
516.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))
490.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))
460.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))
429.0ms
(- (+ (+ (log (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 (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (log y))
422.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.6s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.6b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite654.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt pow1 cbrt-div *-un-lft-identity add-cbrt-cube exp-diff pow1/3 associate-*r/ add-exp-log add-cube-cbrt insert-posit16 add-log-exp
Counts
4 → 44
Calls
4 calls:
Slowest
191.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
160.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
152.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
148.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
370.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
341.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
331.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
323.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify4.7s

Counts
20 → 56
Calls
20 calls:
Slowest
454.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))))))))))
414.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))))))))))
410.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))))))))))
354.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))))))))))
330.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))))))

prune1.2s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 0.6b

regimes2.1s

Accuracy

60.4% (0.5b remaining)

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

bsearch501.0ms

end0.0ms

sample15.5s

Algorithm
intervals
Results
9.3s46114×body80nan
3.3s15172×body80valid