Details

Time bar (total: 1.0m)

sample472.0ms

Algorithm
intervals
Results
283.0ms1513×body80nan
90.0ms493×body80valid

simplify211.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.9b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite231.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/
Counts
4 → 99
Calls
4 calls:
Slowest
134.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
72.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
16.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series518.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
216.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
172.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
68.0ms
(* y (log z))
63.0ms
(* (- t 1.0) (log a))

simplify9.2s

Counts
74 → 111
Calls
74 calls:
Slowest
595.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
589.0ms
(/ (* x (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)))))))) y)
453.0ms
(/ (* (* (* 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 y) y))
438.0ms
(* (- (pow t 3) (pow 1.0 3)) (log a))
413.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.8b

localize34.0ms

Local error

Found 4 expressions with local error:

1.1b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.3b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
21×add-exp-log
20×*-un-lft-identity
16×add-cube-cbrt
13×add-cbrt-cube
12×log-prod
11×pow1
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in prod-exp
5×pow-unpow div-exp
4×pow-exp insert-posit16 add-log-exp
3×unpow-prod-up associate-/r* unpow-prod-down times-frac cbrt-unprod
2×pow-to-exp cbrt-undiv e-exp-1 pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- pow-sub difference-of-squares unswap-sqr
1×clear-num sub-neg pow-pow frac-2neg flip3-- associate--l+ associate-*r/ div-inv flip-- associate-/l* sqr-pow associate-/l/
Counts
4 → 107
Calls
4 calls:
Slowest
25.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
21.0ms
(* (- t 1.0) (log a))
16.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
9.0ms
(* y (log z))

series502.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
234.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
155.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
71.0ms
(* (- t 1.0) (log a))
42.0ms
(* y (log z))

simplify10.0s

Counts
79 → 119
Calls
79 calls:
Slowest
550.0ms
(/ (* (* (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
533.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
428.0ms
(/ (* (* (* x x) x) (* (* (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
415.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
374.0ms
(* (log E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.7b

localize61.0ms

Local error

Found 4 expressions with local error:

1.1b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity
9×cbrt-prod add-cube-cbrt
5×pow1 pow-unpow add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
3×unpow-prod-up unpow-prod-down pow1/3
2×pow-exp
1×pow-to-exp e-exp-1 sub-neg pow-pow associate--l+ distribute-lft-out-- pow-sub difference-of-squares sqr-pow
Counts
4 → 61
Calls
4 calls:
Slowest
39.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series926.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
266.0ms
(cbrt y)
263.0ms
(cbrt y)
236.0ms
(cbrt y)
161.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify4.3s

Counts
35 → 73
Calls
35 calls:
Slowest
557.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
418.0ms
(* (log E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
398.0ms
(* 1 (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
315.0ms
(pow (* (cbrt E) (cbrt E)) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
273.0ms
(pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

prune1.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.7b

localize77.0ms

Local error

Found 4 expressions with local error:

1.1b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.6b
(cbrt (cbrt y))
0.6b
(cbrt (cbrt y))
0.6b
(cbrt (cbrt y))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod
14×add-sqr-sqrt *-un-lft-identity
12×add-cube-cbrt
5×pow1 pow-unpow add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
3×unpow-prod-up unpow-prod-down pow1/3
2×pow-exp
1×pow-to-exp e-exp-1 sub-neg pow-pow associate--l+ distribute-lft-out-- pow-sub difference-of-squares sqr-pow
Counts
4 → 70
Calls
4 calls:
Slowest
33.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
10.0ms
(cbrt (cbrt y))
2.0ms
(cbrt (cbrt y))
2.0ms
(cbrt (cbrt y))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
404.0ms
(cbrt (cbrt y))
393.0ms
(cbrt (cbrt y))
384.0ms
(cbrt (cbrt y))
198.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify6.3s

Counts
44 → 82
Calls
44 calls:
Slowest
731.0ms
(* (pow (cbrt -1) 1/3) (pow (* y -1) 1/9))
731.0ms
(* (pow (cbrt -1) 1/3) (pow (* y -1) 1/9))
701.0ms
(* (pow (cbrt -1) 1/3) (pow (* y -1) 1/9))
550.0ms
(cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
488.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune1.7s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 0.7b

regimes2.9s

Accuracy

0% (1.4b remaining)

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

bsearch7.0ms

end0.0ms

sample16.0s

Algorithm
intervals
Results
8.8s45557×body80nan
2.9s15195×body80valid