Details

Time bar (total: 3.1m)

sample461.0ms

Algorithm
intervals
Results
248.0ms1363×body80nan
120.0ms485×body80valid

simplify254.0ms

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite357.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
209.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))
33.0ms
(* (- t 1.0) (log a))
14.0ms
(* y (log z))

series589.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
188.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
99.0ms
(* (- t 1.0) (log a))
64.0ms
(* y (log z))

simplify12.5s

Counts
83 → 128
Calls
83 calls:
Slowest
612.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))))))
527.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
511.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))
430.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
429.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.7b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite598.0ms

Algorithm
rewrite-expression-head
Rules
330×times-frac
226×add-sqr-sqrt
222×*-un-lft-identity
218×add-cube-cbrt
156×exp-sum
117×prod-diff
50×associate-/r*
13×sub-neg add-cbrt-cube associate--l+
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 exp-diff associate-/r/ div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp associate-/l* rem-exp-log
2×diff-log pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num sum-log frac-2neg flip3-- flip--
Counts
4 → 312
Calls
4 calls:
Slowest
484.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
68.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
25.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series516.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
223.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
165.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
78.0ms
(* (- t 1.0) (log a))
50.0ms
(* y (log z))

simplify1.6m

Counts
427 → 324
Calls
427 calls:
Slowest
682.0ms
(/ (cbrt x) (/ y (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
666.0ms
(sqrt (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
658.0ms
(/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (exp (* y (log z)))))
644.0ms
(/ (sqrt x) (/ 1 (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))))))
627.0ms
(/ (sqrt x) (/ (sqrt y) (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))))))

prune5.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.6b

localize140.0ms

Local error

Found 4 expressions with local error:

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

rewrite300.0ms

Algorithm
rewrite-expression-head
Rules
36×exp-sum
32×add-sqr-sqrt *-un-lft-identity
27×prod-diff
26×add-cube-cbrt
22×add-log-exp
15×exp-prod
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 sum-log sub-neg exp-diff associate--l+ distribute-lft-out-- difference-of-squares
1×pow1/3
Counts
4 → 107
Calls
4 calls:
Slowest
108.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
97.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
91.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
2.0ms
(cbrt x)

series861.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
294.0ms
(cbrt x)
202.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
183.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
182.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify19.5s

Counts
78 → 119
Calls
78 calls:
Slowest
826.0ms
(exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* b 1))))
605.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))))))
577.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))))))
527.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))))))
432.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* b 1))))

prune3.4s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.5b

localize133.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt *-un-lft-identity
27×prod-diff add-cube-cbrt
24×exp-sum
16×add-log-exp
12×unpow-prod-up
10×exp-prod
6×rem-exp-log
5×pow1 pow-unpow add-exp-log
4×expm1-log1p-u add-cbrt-cube diff-log insert-posit16 log1p-expm1-u
3×cbrt-prod sub-neg unpow-prod-down associate--l+ distribute-lft-out-- difference-of-squares
2×sum-log exp-diff pow-exp
1×pow-to-exp e-exp-1 pow-pow pow1/3 pow-sub sqr-pow
Counts
4 → 112
Calls
4 calls:
Slowest
83.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
66.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
38.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)

series830.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
274.0ms
(cbrt x)
194.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
186.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
175.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify17.8s

Counts
80 → 124
Calls
80 calls:
Slowest
588.0ms
(exp (+ (* y (log z)) (* (- t 1.0) (log a))))
547.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))))))
539.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))))))
460.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
453.0ms
(exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (sqrt b) (sqrt b)))))

prune3.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.5b

regimes2.2s

Accuracy

0% (0.4b remaining)

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

bsearch18.0ms

end0.0ms

sample17.2s

Algorithm
intervals
Results
9.9s45505×body80nan
3.2s15228×body80valid