Details

Time bar (total: 1.3m)

sample819.0ms

Algorithm
intervals
Results
485.0ms501×body80valid
259.0ms1522×body80nan

simplify215.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite290.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/
Calls
4 calls:
Slowest
166.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
82.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
33.0ms
(* (- t 1.0) (log a))
6.0ms
(* y (log z))

series575.0ms

Calls
4 calls:
Slowest
248.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
173.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
86.0ms
(* (- t 1.0) (log a))
68.0ms
(* y (log z))

simplify8.5s

Calls
74 calls:
Slowest
443.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))
422.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
419.0ms
(* (- (pow t 3) (pow 1.0 3)) (log a))
409.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
362.0ms
(/ (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (sqrt y))

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.8b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite289.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×times-frac exp-sum prod-exp cbrt-unprod associate-/l* 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 associate-/r* sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ associate-/r/ div-inv flip--
Calls
4 calls:
Slowest
174.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
86.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
21.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series583.0ms

Calls
4 calls:
Slowest
261.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
171.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
84.0ms
(* (- t 1.0) (log a))
67.0ms
(* y (log z))

simplify8.9s

Calls
75 calls:
Slowest
554.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
480.0ms
(/ (* (* y y) y) (* (* (* 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)))))
459.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
444.0ms
(/ y (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))))
417.0ms
(/ (* (* y y) y) (* (* (* 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)))))

prune2.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.8b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
25×cbrt-prod add-exp-log
22×*-un-lft-identity times-frac
20×add-cube-cbrt
15×add-cbrt-cube
11×pow1
10×cbrt-undiv associate-/r* div-exp add-log-exp
7×pow1/3
6×swap-sqr associate-*r* associate-*l* prod-exp cbrt-unprod
5×exp-prod
4×insert-posit16 unswap-sqr
3×exp-sum div-inv rem-exp-log
2×diff-log pow-prod-down pow-sqr pow-prod-up
1×pow2 clear-num sum-log sub-neg frac-2neg pow-plus exp-diff associate--l+ associate-/r/ *-commutative associate-/l* distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
169.0ms
(/ (* (cbrt y) (cbrt y)) (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
78.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)

series1.1s

Calls
4 calls:
Slowest
326.0ms
(* (cbrt y) (cbrt y))
319.0ms
(/ (* (cbrt y) (cbrt y)) (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
297.0ms
(cbrt y)
184.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify15.2s

Calls
113 calls:
Slowest
870.0ms
(/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (/ (* (* (* 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))
765.0ms
(/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (/ (* (* (* 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))
693.0ms
(/ (* y y) (/ (* (* (* 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))
594.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
487.0ms
(/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)) (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y))) (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y))))

prune2.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.7b

localize87.0ms

Local error

Found 4 expressions with local error:

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

rewrite542.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
18×times-frac
16×add-sqr-sqrt *-un-lft-identity
14×add-cube-cbrt
10×add-log-exp
5×exp-prod
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×cbrt-div pow1/3 exp-sum div-inv rem-exp-log
2×diff-log
1×sum-log sub-neg exp-diff associate--l+ distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
173.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
152.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
145.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
70.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series1.9s

Calls
4 calls:
Slowest
582.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
566.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
552.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt y)))
191.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.3s

Calls
57 calls:
Slowest
543.0ms
(* (exp (* 1/3 (- (log (* (pow (cbrt -1) 2) (exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))) (log (/ -1 x))))) (pow (/ -1 y) 1/9))
515.0ms
(* (exp (* 1/3 (- (log (* (pow (cbrt -1) 2) (exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))) (log (/ -1 x))))) (pow (/ -1 y) 1/9))
475.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
469.0ms
(* (exp (* 1/3 (- (log (* (pow (cbrt -1) 2) (exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))) (log (/ -1 x))))) (pow (/ -1 y) 1/9))
375.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune2.3s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 0.6b

regimes4.2s

Accuracy

0% (1.2b remaining)

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

bsearch18.0ms

end0.0ms

sample15.5s

Algorithm
intervals
Results
8.4s45862×body80nan
4.1s15393×body80valid