Details

Time bar (total: 6.0m)

sample471.0ms

Algorithm
intervals
Results
261.0ms1463×body80nan
137.0ms480×body80valid

simplify618.0ms

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

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize28.0ms

Local error

Found 4 expressions with local error:

1.5b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.3b
(* y (log z))
0.2b
(* (- t 1.0) (log a))

rewrite5.7s

Algorithm
rewrite-expression-head
Rules
395×*-un-lft-identity
215×exp-sum
192×associate-*r*
177×add-sqr-sqrt
165×times-frac
161×add-cube-cbrt
135×prod-diff
132×associate-*l*
96×distribute-lft-out
72×log-prod
70×associate--l+
55×associate-/l*
40×distribute-lft-out--
36×distribute-rgt-in distribute-lft-in
30×associate-+l+ associate-+r+
15×add-exp-log
13×add-cbrt-cube
11×exp-prod
10×pow1 add-log-exp
6×*-commutative unswap-sqr
5×+-commutative sub-neg
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×associate-/r* div-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log pow-prod-down associate-*l/ log-pow difference-of-squares
1×clear-num sum-log frac-2neg flip3-- associate-*r/ div-inv flip-- associate-/l/
Calls
4 calls:
Slowest
4.6s
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
948.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
32.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series551.0ms

Calls
4 calls:
Slowest
270.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
144.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
85.0ms
(* (- t 1.0) (log a))
53.0ms
(* y (log z))

simplify1.8m

Calls
497 calls:
Slowest
782.0ms
(* x (exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (sqrt b) (sqrt b))))))
691.0ms
(/ (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) y)
673.0ms
(/ (* x (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) 1)
665.0ms
(/ (* x (exp (+ (* y (log z)) (* (log (sqrt a)) (- t 1.0))))) 1)
657.0ms
(/ (* x (exp (+ (* y (log z)) (* (- t 1.0) (log (sqrt a)))))) 1)

prune6.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.5b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.4s

Algorithm
rewrite-expression-head
Rules
395×*-un-lft-identity
215×exp-sum
184×associate-*r*
181×add-sqr-sqrt
177×times-frac
163×add-cube-cbrt
136×associate-*l*
135×prod-diff
96×distribute-lft-out
70×associate--l+
60×log-prod
59×associate-/r*
39×distribute-lft-out--
30×distribute-rgt-in associate-+l+ associate-+r+ distribute-lft-in
22×cbrt-prod
11×exp-prod add-cbrt-cube add-exp-log
10×add-log-exp
8×unswap-sqr
5×+-commutative sub-neg
4×expm1-log1p-u pow1 *-commutative insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp associate-/l* rem-exp-log
2×exp-diff pow1/3 diff-log prod-exp cbrt-unprod
1×clear-num sum-log frac-2neg associate-*r/ associate-/r/ div-inv difference-of-squares
Calls
4 calls:
Slowest
3.5s
(/ y (* (cbrt x) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
859.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.1s

Calls
4 calls:
Slowest
390.0ms
(/ y (* (cbrt x) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
295.0ms
(cbrt x)
247.0ms
(cbrt x)
158.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify1.6m

Calls
498 calls:
Slowest
807.0ms
(/ (cbrt y) (cbrt (* (cbrt x) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
629.0ms
(/ (* (cbrt y) (cbrt y)) (* (cbrt x) (exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))))
614.0ms
(/ (sqrt y) (* (cbrt x) (exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (sqrt b) (sqrt b)))))))
560.0ms
(/ 1 (* (cbrt x) (exp (+ (* y (log z)) (* (log (* (cbrt a) (cbrt a))) (- t 1.0))))))
538.0ms
(/ 1 (* (cbrt x) (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)))) (- (* b 1))))))

prune7.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.5b

localize75.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 x)

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
248×*-un-lft-identity
129×exp-sum
84×associate-*l*
81×prod-diff
72×distribute-lft-out
62×add-sqr-sqrt
56×add-cube-cbrt
45×distribute-lft-out--
42×associate--l+
36×log-prod
33×exp-prod
22×add-log-exp
18×distribute-rgt-in associate-+l+ associate-+r+ distribute-lft-in
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 +-commutative sum-log sub-neg exp-diff difference-of-squares
1×pow1/3
Calls
4 calls:
Slowest
912.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
898.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
858.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)

series774.0ms

Calls
4 calls:
Slowest
296.0ms
(cbrt x)
160.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
160.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
158.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify45.7s

Calls
189 calls:
Slowest
747.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
580.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))))))
571.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))))))
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))))))
494.0ms
(exp (+ (* y (log z)) (* (- t 1.0) (log (* (cbrt a) (cbrt a))))))

prune6.2s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 0.5b

localize74.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 x)

rewrite3.0s

Algorithm
rewrite-expression-head
Rules
248×*-un-lft-identity
129×exp-sum
84×associate-*l*
81×prod-diff
72×distribute-lft-out
62×add-sqr-sqrt
56×add-cube-cbrt
45×distribute-lft-out--
42×associate--l+
36×log-prod
33×exp-prod
22×add-log-exp
18×distribute-rgt-in associate-+l+ associate-+r+ distribute-lft-in
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 +-commutative sum-log sub-neg exp-diff difference-of-squares
1×pow1/3
Calls
4 calls:
Slowest
1.3s
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
922.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
804.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)

series744.0ms

Calls
4 calls:
Slowest
263.0ms
(cbrt x)
178.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
157.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
146.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify46.1s

Calls
189 calls:
Slowest
640.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))))))
629.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))))))
598.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))))))
547.0ms
(exp (* (log (* (cbrt z) (cbrt z))) y))
488.0ms
(exp (+ (* y (log z)) (* (log (* (cbrt a) (cbrt a))) (- t 1.0))))

prune6.9s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 0.4b

regimes2.9s

Accuracy

0% (0.8b remaining)

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

bsearch8.0ms

end0.0ms

sample16.0s

Algorithm
intervals
Results
9.3s46455×body80nan
3.5s15331×body80valid