Details

Time bar (total: 31.3s)

sample431.0ms

Algorithm
intervals
Results
181.0ms1465×body80nan
74.0ms489×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5001
53079
4563
3190
273
133
017

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize49.0ms

Local error

Found 4 expressions with local error:

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

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 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 → 112
Calls
4 calls:
36.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))
179.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
121.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series584.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (- t 1.0) (log a))
65.0ms
(* y (log z))
290.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
158.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify996.0ms

Counts
124 → 124
Iterations
IterNodes
done5000
22436
1624
0277

prune970.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (- (log a)) t b)))))
0.1b
(fma (- (log z)) y (fma (- (log a)) t b))
0.2b
(fma (- (log a)) t b)
0.8b
(/ (* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (- (log a)) t b))))) y)

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
34×times-frac
33×add-sqr-sqrt
32×associate-*r*
24×add-exp-log
23×*-un-lft-identity add-cube-cbrt
18×add-cbrt-cube
13×unpow-prod-down
11×div-exp
9×fma-udef
8×prod-exp
7×exp-sum
6×pow1
5×cbrt-undiv sqr-pow
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r* associate-*l*
2×pow-to-exp pow-exp associate-*r/ div-inv
1×clear-num frac-2neg pow-prod-down *-commutative associate-/l* associate-/l/
Counts
4 → 105
Calls
4 calls:
42.0ms
(* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (- (log a)) t b)))))
0.0ms
(fma (- (log z)) y (fma (- (log a)) t b))
0.0ms
(fma (- (log a)) t b)
15.0ms
(/ (* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (- (log a)) t b))))) y)

series1.3s

Counts
4 → 12
Calls
4 calls:
485.0ms
(* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (- (log a)) t b)))))
142.0ms
(fma (- (log z)) y (fma (- (log a)) t b))
131.0ms
(fma (- (log a)) t b)
495.0ms
(/ (* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (- (log a)) t b))))) y)

simplify1.4s

Counts
117 → 117
Iterations
IterNodes
done5002
23007
1653
0251

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (* (* (cbrt (- b (* t (log a)))) (cbrt (- b (* t (log a))))) (cbrt (- b (* t (log a))))))))) y)
0.9b
(cbrt (- b (* t (log a))))
0.9b
(cbrt (- b (* t (log a))))
0.9b
(cbrt (- b (* t (log a))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
13×add-cbrt-cube
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×div-exp
6×cbrt-div
4×expm1-log1p-u pow1 cbrt-undiv prod-exp log1p-expm1-u add-log-exp
3×associate-/r* times-frac flip3-- pow1/3 flip--
2×cbrt-unprod
1×pow-to-exp clear-num frac-2neg pow-exp associate-*r/ div-inv associate-/l* associate-/l/
Counts
4 → 73
Calls
4 calls:
16.0ms
(/ (* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (* (* (cbrt (- b (* t (log a)))) (cbrt (- b (* t (log a))))) (cbrt (- b (* t (log a))))))))) y)
5.0ms
(cbrt (- b (* t (log a))))
5.0ms
(cbrt (- b (* t (log a))))
5.0ms
(cbrt (- b (* t (log a))))

series1.2s

Counts
4 → 12
Calls
4 calls:
485.0ms
(/ (* x (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (* (* (cbrt (- b (* t (log a)))) (cbrt (- b (* t (log a))))) (cbrt (- b (* t (log a))))))))) y)
232.0ms
(cbrt (- b (* t (log a))))
205.0ms
(cbrt (- b (* t (log a))))
241.0ms
(cbrt (- b (* t (log a))))

simplify1.2s

Counts
85 → 85
Iterations
IterNodes
done5001
22078
1498
0190

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (- (log z)) y (fma (log a) (- t) b))
0.2b
(fma (log a) (- t) b)
6.2b
(* (/ x y) (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (log a) (- t) b)))))
6.9b
(cbrt (pow (* (/ x y) (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (log a) (- t) b))))) 3))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
47×times-frac
32×associate-*r*
28×*-un-lft-identity add-cube-cbrt
22×add-exp-log
16×add-cbrt-cube
15×unpow-prod-down
13×associate-*l*
10×div-exp
9×fma-udef
8×cbrt-prod prod-exp unswap-sqr
7×exp-sum sqr-pow
6×pow1
4×expm1-log1p-u cbrt-undiv cbrt-unprod log1p-expm1-u add-log-exp
3×cube-div cbrt-div
2×frac-times pow-to-exp associate-*l/ pow-exp associate-*r/ div-inv
1×cube-mult pow1/3 unpow3 cube-prod pow-prod-down *-commutative rem-cbrt-cube
Counts
4 → 121
Calls
4 calls:
0.0ms
(fma (- (log z)) y (fma (log a) (- t) b))
0.0ms
(fma (log a) (- t) b)
58.0ms
(* (/ x y) (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (log a) (- t) b)))))
2.0ms
(cbrt (pow (* (/ x y) (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (log a) (- t) b))))) 3))

series1.3s

Counts
4 → 12
Calls
4 calls:
140.0ms
(fma (- (log z)) y (fma (log a) (- t) b))
139.0ms
(fma (log a) (- t) b)
531.0ms
(* (/ x y) (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (log a) (- t) b)))))
488.0ms
(cbrt (pow (* (/ x y) (/ (pow a (- 1.0)) (exp (fma (- (log z)) y (fma (log a) (- t) b))))) 3))

simplify476.0ms

Counts
133 → 133
Iterations
IterNodes
done5001
1829
0281

prune1.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes838.0ms

Accuracy

0% (1.3b remaining)

Error of 1.4b against oracle of 0.1b and baseline of 1.4b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done25
125
022

end0.0ms

sample14.5s

Algorithm
intervals
Results
7.4s44344×body80nan
2.3s14990×body80valid