Details

Time bar (total: 1.2m)

sample815.0ms

Algorithm
intervals
Results
604.0ms1513×body80nan
106.0ms493×body80valid

simplify205.0ms

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

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

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

rewrite372.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
241.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
98.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
17.0ms
(* (- t 1.0) (log a))
15.0ms
(* y (log z))

series557.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
253.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
166.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
82.0ms
(* (- t 1.0) (log a))
55.0ms
(* y (log z))

simplify11.8s

Counts
83 → 128
Calls
83 calls:
Slowest
498.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))))))
461.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
448.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))
419.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
406.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune2.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.8b

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

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
26×*-un-lft-identity
22×add-cube-cbrt
21×add-exp-log
13×add-cbrt-cube
12×unpow-prod-up log-prod
11×pow1
9×prod-diff
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in prod-exp
5×pow-unpow div-exp
4×expm1-log1p-u pow-exp insert-posit16 log1p-expm1-u add-log-exp
3×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 → 124
Calls
4 calls:
Slowest
49.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
45.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
36.0ms
(* (- t 1.0) (log a))
14.0ms
(* y (log z))

series542.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
247.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
176.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
74.0ms
(* (- t 1.0) (log a))
46.0ms
(* y (log z))

simplify12.4s

Counts
88 → 136
Calls
88 calls:
Slowest
889.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
585.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))
493.0ms
(- (+ (log x) (* 1 (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (log y))
451.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
435.0ms
(/ (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (sqrt y))

prune2.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.7b

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
12×unpow-prod-up
9×cbrt-prod prod-diff
5×pow1 pow-unpow add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×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 → 78
Calls
4 calls:
Slowest
28.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
304.0ms
(cbrt y)
284.0ms
(cbrt y)
248.0ms
(cbrt y)
187.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify5.4s

Counts
44 → 90
Calls
44 calls:
Slowest
369.0ms
(pow (* (cbrt E) (cbrt E)) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
297.0ms
(pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
291.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)
282.0ms
(pow E (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b)))))
273.0ms
(* (log E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

prune1.9s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.7b

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod
20×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt
12×unpow-prod-up
9×prod-diff
5×pow1 pow-unpow add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×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 → 87
Calls
4 calls:
Slowest
48.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
2.0ms
(cbrt (cbrt y))
2.0ms
(cbrt (cbrt y))
2.0ms
(cbrt (cbrt y))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
419.0ms
(cbrt (cbrt y))
357.0ms
(cbrt (cbrt y))
348.0ms
(cbrt (cbrt y))
217.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify7.3s

Counts
53 → 99
Calls
53 calls:
Slowest
703.0ms
(* (pow (cbrt -1) 1/3) (pow (* y -1) 1/9))
703.0ms
(* (pow (cbrt -1) 1/3) (pow (* y -1) 1/9))
653.0ms
(* (pow (cbrt -1) 1/3) (pow (* y -1) 1/9))
373.0ms
(pow (* (cbrt E) (cbrt E)) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
345.0ms
(pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

prune2.4s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 0.7b

regimes3.7s

Accuracy

0% (1.4b remaining)

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

bsearch14.0ms

end0.0ms

sample16.3s

Algorithm
intervals
Results
8.9s45557×body80nan
3.9s15195×body80valid