Details

Time bar (total: 1.7m)

sample470.0ms

Algorithm
intervals
Results
278.0ms1571×body80nan
82.0ms479×body80valid

simplify221.0ms

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize43.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (* 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))

rewrite340.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
222.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
93.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
16.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series548.0ms

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

simplify13.3s

Counts
83 → 128
Calls
83 calls:
Slowest
914.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))))))
545.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
509.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))
476.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
437.0ms
(exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* b 1))))

prune2.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.6b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite658.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity add-cbrt-cube
17×add-cube-cbrt
16×add-exp-log
12×exp-sum
10×add-log-exp
9×associate-/r* times-frac prod-diff
6×cbrt-undiv div-exp
5×exp-prod
4×expm1-log1p-u pow1 exp-diff insert-posit16 log1p-expm1-u
3×clear-num frac-2neg prod-exp associate-*r/ cbrt-unprod div-inv associate-/l* rem-exp-log associate-/l/
2×diff-log
1×sum-log sub-neg associate--l+ distribute-lft-out-- difference-of-squares
Counts
4 → 106
Calls
4 calls:
Slowest
206.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
195.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
177.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
78.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series867.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
274.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
262.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
205.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
126.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify18.2s

Counts
72 → 118
Calls
72 calls:
Slowest
932.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
565.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))))))
507.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
493.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
478.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))

prune2.6s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.5b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite757.0ms

Algorithm
rewrite-expression-head
Rules
24×add-cbrt-cube
20×add-exp-log
12×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
8×cbrt-undiv div-exp
4×expm1-log1p-u pow1 clear-num frac-2neg exp-diff prod-exp associate-*r/ cbrt-unprod insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp associate-/l/
Counts
4 → 100
Calls
4 calls:
Slowest
207.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
200.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
186.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
161.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series940.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
251.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
233.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
228.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
227.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify14.8s

Counts
64 → 112
Calls
64 calls:
Slowest
502.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
455.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
454.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
439.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))
436.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))

prune2.8s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.5b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
34×add-exp-log
31×add-cbrt-cube
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×prod-exp
13×associate-*r*
10×div-exp
9×pow1 associate-/r* cbrt-unprod
8×cbrt-undiv
6×associate-*r/
5×exp-diff
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
3×clear-num frac-2neg pow-prod-down associate-/l* associate-/l/
2×rec-exp 1-exp
1×frac-times associate-*l* associate-*l/ un-div-inv *-commutative
Counts
4 → 118
Calls
4 calls:
Slowest
781.0ms
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
209.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
187.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
185.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
278.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
278.0ms
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
274.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
228.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify18.2s

Counts
81 → 130
Calls
81 calls:
Slowest
740.0ms
(* (* x (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) 1)
518.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
517.0ms
(+ (+ (log x) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (- 0 (log y)))
504.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)))) (/ (* (* 1 1) 1) (* (* y y) y)))
495.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune3.2s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.5b

regimes2.3s

Accuracy

0% (1.3b remaining)

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

bsearch17.0ms

end0.0ms

sample14.8s

Algorithm
intervals
Results
8.6s44906×body80nan
3.8s15126×body80valid