Details

Time bar (total: 1.2m)

sample427.0ms

Algorithm
intervals
Results
240.0ms1400×body80nan
115.0ms489×body80valid

simplify192.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize70.0ms

Local error

Found 4 expressions with local error:

0.9b
(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.1b
(* (- t 1.0) (log a))

rewrite322.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×insert-posit16
3×associate-/r* times-frac exp-sum prod-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ div-inv flip-- associate-/l* associate-/l/
Counts
4 → 99
Calls
4 calls:
Slowest
214.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
74.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
26.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series534.0ms

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

simplify8.5s

Counts
74 → 111
Calls
74 calls:
Slowest
473.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
430.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))
425.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
398.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
383.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))

prune1.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.7b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
18×add-exp-log
15×add-sqr-sqrt exp-prod *-un-lft-identity exp-diff
14×add-cbrt-cube
12×cbrt-div
10×associate-*r/
9×exp-sum add-cube-cbrt rem-exp-log
7×associate-/l/
6×diff-log prod-exp cbrt-unprod
5×frac-times associate-*l/
4×pow1 cbrt-undiv div-exp insert-posit16
3×associate-/r* sum-log sub-neg times-frac associate--l+ distribute-lft-out-- difference-of-squares
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 93
Calls
4 calls:
Slowest
739.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
110.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
80.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
79.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series747.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
263.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
181.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
161.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
142.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify15.6s

Counts
71 → 105
Calls
71 calls:
Slowest
858.0ms
(/ (* (* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (* y y) y))
614.0ms
(* (exp (* y (log z))) (exp (* (- t 1.0) (log a))))
596.0ms
(/ (* (* (* x x) x) (* (* (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (* y y) y))
579.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
495.0ms
(/ (* (* (* x x) x) (* (* (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))

prune2.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.6b

localize99.0ms

Local error

Found 4 expressions with local error:

0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.6b
(cbrt y)

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
15×exp-prod
14×add-sqr-sqrt *-un-lft-identity
9×exp-sum rem-exp-log
8×add-cube-cbrt
6×diff-log
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×cbrt-prod sum-log sub-neg exp-diff associate--l+ distribute-lft-out-- difference-of-squares
1×pow1/3
Counts
4 → 72
Calls
4 calls:
Slowest
85.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
69.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
69.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)

series830.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
278.0ms
(cbrt y)
195.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
188.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
169.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.2s

Counts
51 → 84
Calls
51 calls:
Slowest
478.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
472.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
464.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
322.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
293.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune2.4s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 0.6b

localize108.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.6b
(cbrt y)

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
16×add-log-exp
15×add-sqr-sqrt *-un-lft-identity
10×exp-prod
9×add-cube-cbrt
6×exp-sum rem-exp-log
5×pow1 pow-unpow add-exp-log
4×add-cbrt-cube diff-log insert-posit16
3×cbrt-prod unpow-prod-up sub-neg unpow-prod-down associate--l+ distribute-lft-out-- difference-of-squares
2×sum-log exp-diff pow-exp
1×pow-to-exp e-exp-1 pow-pow pow1/3 pow-sub sqr-pow
Counts
4 → 77
Calls
4 calls:
Slowest
83.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
77.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
41.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)

series822.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
302.0ms
(cbrt y)
180.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
170.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
169.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.7s

Counts
53 → 89
Calls
53 calls:
Slowest
621.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
533.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
495.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
377.0ms
(* 1 (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
375.0ms
(* (log E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

prune2.3s

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 0.5b

regimes2.5s

Accuracy

0% (1.3b remaining)

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

bsearch15.0ms

end0.0ms

sample15.4s

Algorithm
intervals
Results
9.7s46225×body80nan
2.9s15265×body80valid