Details

Time bar (total: 3.5m)

sample386.0ms

Algorithm
intervals
Results
240.0ms1463×body80nan
84.0ms480×body80valid

simplify214.0ms

Calls
1 calls:
Slowest
214.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: 2.1b

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

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
90×add-sqr-sqrt
84×times-frac associate-*r*
80×exp-sum
74×add-cube-cbrt
72×log-prod
70×associate--l+
36×distribute-rgt-in distribute-lft-in
30×associate-+l+ associate-+r+
28×associate-/l*
27×associate-*l*
15×add-exp-log
13×add-cbrt-cube
11×exp-prod
10×pow1 distribute-lft-out-- add-log-exp
6×*-commutative distribute-lft-out unswap-sqr
5×+-commutative sub-neg
4×prod-exp insert-posit16
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.0s
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
869.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
18.0ms
(* (- t 1.0) (log a))
6.0ms
(* y (log z))

series538.0ms

Calls
4 calls:
Slowest
242.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
157.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
95.0ms
(* (- t 1.0) (log a))
44.0ms
(* y (log z))

simplify56.3s

Calls
281 calls:
Slowest
783.0ms
(/ (sqrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
589.0ms
(/ (* x (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) 1)
566.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
566.0ms
(/ (* x (exp (+ (* y (log z)) (* (- t 1.0) (log (sqrt a)))))) 1)
563.0ms
(/ (* x (exp (+ (* y (log z)) (* (log (sqrt a)) (- t 1.0))))) (sqrt y))

prune4.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.5b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.4s

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
96×times-frac
94×add-sqr-sqrt
80×exp-sum
76×associate-*r* add-cube-cbrt
70×associate--l+
60×log-prod
32×associate-/l*
31×associate-*l*
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
9×distribute-lft-out--
8×unswap-sqr
6×distribute-lft-out
5×+-commutative sub-neg
4×pow1 *-commutative insert-posit16
3×cbrt-undiv associate-/r* div-exp rem-exp-log
2×exp-diff pow1/3 diff-log prod-exp cbrt-unprod
1×clear-num sum-log frac-2neg associate-*r/ div-inv difference-of-squares associate-/l/
Calls
4 calls:
Slowest
3.6s
(/ (* (cbrt x) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
769.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.0s

Calls
4 calls:
Slowest
283.0ms
(/ (* (cbrt x) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
275.0ms
(cbrt x)
272.0ms
(cbrt x)
177.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify59.1s

Calls
280 calls:
Slowest
825.0ms
(exp (+ (* y (log z)) (* (log (* (cbrt a) (cbrt a))) (- t 1.0))))
725.0ms
(* (cbrt x) (exp (+ (* y (log z)) (* (log (sqrt a)) (- t 1.0)))))
673.0ms
(/ (* (cbrt x) (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) 1)
642.0ms
(/ (* (cbrt x) (exp (+ (* y (log z)) (* (log (sqrt a)) (- t 1.0))))) 1)
640.0ms
(/ (* (cbrt x) (exp (+ (* y (log z)) (* (- t 1.0) (log (sqrt a)))))) 1)

prune4.3s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.5b

localize62.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.6b
(cbrt x)
0.6b
(cbrt x)

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
32×exp-sum
28×associate--l+
24×log-prod
22×exp-prod
20×add-sqr-sqrt
18×distribute-lft-out--
16×add-cube-cbrt add-log-exp
14×associate-*l*
12×distribute-rgt-in associate-+l+ associate-+r+ distribute-lft-in distribute-lft-out
6×cbrt-prod rem-exp-log
4×pow1 add-cbrt-cube diff-log add-exp-log insert-posit16
2×+-commutative sum-log sub-neg exp-diff pow1/3 difference-of-squares
Calls
4 calls:
Slowest
809.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
752.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series844.0ms

Calls
4 calls:
Slowest
288.0ms
(cbrt x)
248.0ms
(cbrt x)
157.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
151.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.8s

Calls
80 calls:
Slowest
529.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
505.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
409.0ms
(exp (+ (* y (log z)) (* (- t 1.0) (log (* (cbrt a) (cbrt a))))))
387.0ms
(exp (+ (* y (log z)) (* (- t 1.0) (log (* (cbrt a) (cbrt a))))))
344.0ms
(exp (+ (* y (log z)) (* (log (* (cbrt a) (cbrt a))) (- t 1.0))))

prune2.8s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 0.5b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite6.7s

Algorithm
rewrite-expression-head
Rules
477×*-un-lft-identity
180×distribute-lft-out--
177×cbrt-prod
154×associate-*l*
120×distribute-lft-out
118×exp-prod
109×pow-pow
70×swap-sqr
43×add-sqr-sqrt
23×add-cube-cbrt
16×exp-sum
14×pow-unpow associate-*r* associate--l+
12×log-prod
11×add-log-exp
6×distribute-rgt-in associate-+l+ associate-+r+ distribute-lft-in difference-of-squares
5×pow1 add-exp-log
4×add-cbrt-cube insert-posit16 unswap-sqr
3×unpow-prod-down rem-exp-log
2×pow1/3 diff-log pow-exp
1×pow-to-exp +-commutative sum-log sub-neg exp-to-pow exp-diff *-commutative sqr-pow
Calls
4 calls:
Slowest
5.8s
(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
829.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series3.9s

Calls
4 calls:
Slowest
3.2s
(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
269.0ms
(cbrt x)
239.0ms
(cbrt x)
164.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify22.7s

Calls
177 calls:
Slowest
1.5s
(- (+ (exp (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))))) (+ (* 0.5 (/ (* (pow (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) 2) (* (exp (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (log -1) 2) (pow (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))) 2)))) (* (pow (- (log -1) (log (/ -1 z))) 2) (pow y 2)))) (+ (* 0.5 (/ (* (exp (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))))) (* (pow (log (/ -1 a)) 2) (* (pow (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) 2) (pow (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))) 2)))) (* (pow (- (log -1) (log (/ -1 z))) 2) (pow y 2)))) (* 1.0 (/ (* (exp (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))))) (* (log (/ -1 a)) (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y))))))))) (* (- (log -1) (log (/ -1 z))) y)))))) (+ (* 1.0 (/ (* (exp (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))))) (* (log (/ -1 a)) (* (pow (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) 2) (* (log -1) (pow (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))) 2))))) (* (pow y 2) (pow (- (log -1) (log (/ -1 z))) 2)))) (* 1.0 (/ (* (exp (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y)))))))) (* (log -1) (* (exp (* 1/3 (- (log (- (log (/ -1 z)) (log -1))) (log (/ -1 y))))) (exp (* 1/3 (- (log (pow (- (log -1) (log (/ -1 z))) 2)) (* 2 (log (/ -1 y))))))))) (* (- (log -1) (log (/ -1 z))) y)))))
826.0ms
(exp (* (cbrt (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
475.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
451.0ms
(exp (* (sqrt (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (sqrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
405.0ms
(exp (* (cbrt (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))

prune5.7s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 0.4b

regimes3.8s

Accuracy

0% (0.9b remaining)

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

bsearch12.0ms

end0.0ms

sample16.2s

Algorithm
intervals
Results
9.3s46455×body80nan
3.7s15331×body80valid