Details

Time bar (total: 1.8m)

sample425.0ms

Algorithm
intervals
Results
270.0ms1400×body80nan
79.0ms489×body80valid

simplify584.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize54.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))

rewrite306.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
185.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
84.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
27.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series536.0ms

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

simplify12.4s

Counts
83 → 128
Calls
83 calls:
Slowest
509.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
504.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
496.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))))))
465.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* b 1))))
464.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (sqrt b) (sqrt b)))))

prune2.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.7b

localize54.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.1s

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
814.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)
125.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
120.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
80.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series760.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)
186.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
162.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
148.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify24.8s

Counts
98 → 140
Calls
98 calls:
Slowest
758.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))
678.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)
587.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))))))
574.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))
573.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.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.6b

localize95.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)

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
36×exp-sum
32×add-sqr-sqrt *-un-lft-identity
27×prod-diff
26×add-cube-cbrt
22×add-log-exp
15×exp-prod
9×rem-exp-log
6×diff-log
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×cbrt-prod sum-log sub-neg exp-diff associate--l+ distribute-lft-out-- difference-of-squares
1×pow1/3
Counts
4 → 107
Calls
4 calls:
Slowest
93.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
70.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
59.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)

series795.0ms

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

simplify18.4s

Counts
78 → 119
Calls
78 calls:
Slowest
721.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
613.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))))))
563.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))))))
544.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))))))
478.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))

prune2.7s

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 0.6b

localize84.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)

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt *-un-lft-identity
27×prod-diff add-cube-cbrt
24×exp-sum
16×add-log-exp
12×unpow-prod-up
10×exp-prod
6×rem-exp-log
5×pow1 pow-unpow add-exp-log
4×expm1-log1p-u add-cbrt-cube diff-log insert-posit16 log1p-expm1-u
3×cbrt-prod 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 → 112
Calls
4 calls:
Slowest
80.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
73.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
40.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)

series749.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
217.0ms
(cbrt y)
193.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
190.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
150.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify15.1s

Counts
80 → 124
Calls
80 calls:
Slowest
468.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))))))
452.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
442.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))))))
382.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)))))
371.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (sqrt b) (sqrt b)))))

prune3.2s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 0.5b

regimes2.6s

Accuracy

0% (1.3b remaining)

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

bsearch16.0ms

end0.0ms

sample15.4s

Algorithm
intervals
Results
9.1s46225×body80nan
3.8s15265×body80valid