Details

Time bar (total: 2.1m)

sample441.0ms

Algorithm
intervals
Results
238.0ms1452×body80nan
88.0ms515×body80valid

simplify590.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity
21×add-cube-cbrt
13×add-cbrt-cube
12×log-prod exp-sum add-exp-log
10×pow1 add-log-exp
9×prod-diff
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* times-frac 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 → 116
Calls
4 calls:
Slowest
244.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
91.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
16.0ms
(* (- t 1.0) (log a))
9.0ms
(* y (log z))

series493.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
198.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
140.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
99.0ms
(* (- t 1.0) (log a))
56.0ms
(* y (log z))

simplify12.2s

Counts
83 → 128
Calls
83 calls:
Slowest
543.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))))))
467.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
452.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
439.0ms
(exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (sqrt b) (sqrt b)))))
421.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.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.6b

localize81.0ms

Local error

Found 4 expressions with local error:

0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.6b
(/ (* 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
36×exp-sum
33×add-sqr-sqrt *-un-lft-identity
27×prod-diff add-cube-cbrt
22×add-log-exp
18×add-exp-log
15×exp-prod exp-diff
14×add-cbrt-cube
12×cbrt-div
10×associate-*r/
9×rem-exp-log
7×associate-/l/
6×diff-log prod-exp cbrt-unprod
5×frac-times associate-*l/
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u
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 → 128
Calls
4 calls:
Slowest
776.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)
91.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
84.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
79.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series715.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
223.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)
184.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
166.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
142.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify25.4s

Counts
98 → 140
Calls
98 calls:
Slowest
920.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))))))
745.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))
589.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))))))
535.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))))))
510.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))

prune2.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.5b

localize106.0ms

Local error

Found 4 expressions with local error:

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

rewrite351.0ms

Algorithm
rewrite-expression-head
Rules
48×exp-sum
40×add-sqr-sqrt *-un-lft-identity
36×prod-diff
32×add-cube-cbrt
28×add-log-exp
20×exp-prod
12×rem-exp-log
8×diff-log
4×expm1-log1p-u pow1 sum-log sub-neg add-cbrt-cube exp-diff associate--l+ add-exp-log insert-posit16 log1p-expm1-u distribute-lft-out-- difference-of-squares
Counts
4 → 124
Calls
4 calls:
Slowest
96.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
95.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
84.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
72.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series654.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
186.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
159.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
159.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
150.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify24.5s

Counts
96 → 136
Calls
96 calls:
Slowest
638.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))))))
605.0ms
(exp (+ (* y (log z)) (* (- t 1.0) (log a))))
570.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))))))
549.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))))))
519.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))))))

prune3.9s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.5b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt *-un-lft-identity
28×add-cube-cbrt
27×prod-diff
24×exp-sum
19×add-exp-log
16×add-log-exp
14×add-cbrt-cube
12×unpow-prod-up cbrt-div
10×exp-prod exp-diff associate-*r/
7×associate-/l/
6×prod-exp cbrt-unprod rem-exp-log
5×frac-times pow1 pow-unpow associate-*l/ pow-sub
4×expm1-log1p-u cbrt-undiv diff-log div-exp insert-posit16 log1p-expm1-u
3×associate-/r* sub-neg unpow-prod-down times-frac associate--l+ distribute-lft-out-- difference-of-squares
2×sum-log pow-exp
1×pow-to-exp e-exp-1 clear-num pow-pow frac-2neg div-inv associate-/l* sqr-pow
Counts
4 → 133
Calls
4 calls:
Slowest
852.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 (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
115.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
113.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
20.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series904.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
411.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 (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
177.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
166.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
151.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify26.4s

Counts
100 → 145
Calls
100 calls:
Slowest
1.6s
(/ (* (* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* 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 (pow E (- (+ (* 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 (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (* y y) y))
1.1s
(/ (* (* (* 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 (pow E (- (+ (* 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 (pow E (- (+ (* 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 (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (* y y) y))
848.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
719.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))))) (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
577.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))))))

prune3.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.4b

regimes2.4s

Accuracy

0% (1.4b remaining)

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

bsearch19.0ms

end0.0ms

sample16.8s

Algorithm
intervals
Results
10.2s45673×body80nan
3.4s15157×body80valid