Details

Time bar (total: 46.5s)

sample405.0ms

Algorithm
intervals
Results
222.0ms1436×body80nan
73.0ms501×body80valid

simplify7.0s

Counts
1 → 1

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize62.0ms

Local error

Found 4 expressions with local error:

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

rewrite353.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
189.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
112.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
34.0ms
(* (- t 1.0) (log a))
14.0ms
(* y (log z))

series539.0ms

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

simplify877.0ms

Counts
128 → 128

prune2.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.7b

localize60.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.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite848.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
281.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
242.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)
97.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series806.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
218.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
212.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
194.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
181.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify2.8s

Counts
118 → 118

prune2.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.6b

localize59.0ms

Local error

Found 4 expressions with local error:

0.9b
(exp (- (fma (- t 1.0) (log a) (* (log z) y)) b))
0.6b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
23×*-un-lft-identity
22×cbrt-prod
21×add-cube-cbrt
12×exp-sum
11×pow1
9×prod-diff
8×pow1/3
7×add-log-exp
6×swap-sqr associate-*r* associate-*l* add-exp-log
5×exp-prod
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up rem-exp-log
1×pow2 sub-neg pow-plus exp-diff diff-log prod-exp associate--l+ *-commutative cbrt-unprod fma-udef distribute-lft-out-- difference-of-squares
Counts
4 → 101
Calls
4 calls:
Slowest
24.0ms
(exp (- (fma (- t 1.0) (log a) (* (log z) y)) b))
17.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
314.0ms
(cbrt y)
309.0ms
(cbrt y)
268.0ms
(* (cbrt y) (cbrt y))
223.0ms
(exp (- (fma (- t 1.0) (log a) (* (log z) y)) b))

simplify1.2s

Counts
113 → 113

prune2.3s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.5b

localize55.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 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))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
30×*-un-lft-identity
26×add-exp-log add-cube-cbrt
21×associate-*r*
20×add-cbrt-cube
15×pow1
14×prod-exp
12×log-prod exp-sum
10×add-log-exp
9×times-frac associate-*l* prod-diff
8×cbrt-unprod
6×distribute-rgt-in distribute-lft-in
5×exp-prod pow-prod-down
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
3×exp-diff associate-*l/ associate-*r/ *-commutative rem-exp-log
2×cbrt-undiv rec-exp diff-log 1-exp log-pow distribute-lft-out-- difference-of-squares unswap-sqr
1×frac-times sum-log sub-neg flip3-- associate--l+ un-div-inv div-inv flip--
Counts
4 → 134
Calls
4 calls:
Slowest
919.0ms
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
101.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
35.0ms
(* (- t 1.0) (log a))
14.0ms
(* y (log z))

series557.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
256.0ms
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
170.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
77.0ms
(* (- t 1.0) (log a))
53.0ms
(* y (log z))

simplify1.1s

Counts
146 → 146

prune2.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.5b

regimes2.3s

Accuracy

0% (1.2b remaining)

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

bsearch5.0ms

end0.0ms

sample15.8s

Algorithm
intervals
Results
8.3s45606×body80nan
3.6s15125×body80valid