Details

Time bar (total: 1.6m)

sample391.0ms

Algorithm
intervals
Results
234.0ms1309×body80nan
72.0ms479×body80valid

simplify167.0ms

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

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite301.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
195.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))
25.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series534.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
244.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
144.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
76.0ms
(* (- t 1.0) (log a))
70.0ms
(* y (log z))

simplify12.4s

Counts
83 → 128
Calls
83 calls:
Slowest
711.0ms
(* (exp (* y (log z))) (exp (* (- t 1.0) (log a))))
580.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))))))
494.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
479.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))
446.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune2.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.6b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite732.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
229.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
211.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
206.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
83.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series946.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
273.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
256.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
226.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
190.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify17.1s

Counts
72 → 118
Calls
72 calls:
Slowest
544.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))))))
483.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))
482.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))
480.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
474.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune3.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.6b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite802.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
242.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
196.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)
176.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series964.0ms

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

simplify15.2s

Counts
64 → 112
Calls
64 calls:
Slowest
493.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
488.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
466.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
461.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))
449.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.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.6b

localize109.0ms

Local error

Found 4 expressions with local error:

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

rewrite788.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
211.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
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)
174.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series991.0ms

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

simplify15.5s

Counts
64 → 112
Calls
64 calls:
Slowest
654.0ms
(* x (exp (+ (* y (log z)) (* (- t 1.0) (log a)))))
512.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
486.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
465.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))
452.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune2.9s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 0.6b

regimes2.0s

Accuracy

0% (1.2b remaining)

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

bsearch6.0ms

end0.0ms

sample15.3s

Algorithm
intervals
Results
8.7s44581×body80nan
3.7s15124×body80valid