Details

Time bar (total: 27.5s)

sample265.0ms

Algorithm
intervals
Results
142.0ms579×body80valid

simplify721.0ms

Counts
1 → 1
Iterations
IterNodes
42334
3534
2144
153
022

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* (/ 0.125 (- 1 v)) (fma -2 v 3)) (* (* w r) (* w r)) 4.5)
0.1b
(* (/ 0.125 (- 1 v)) (fma -2 v 3))
0.4b
(* (* w r) (* w r))
0.8b
(/ 2 (* r r))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
45×pow1
31×add-sqr-sqrt
26×*-un-lft-identity add-cbrt-cube add-exp-log
25×associate-*l*
22×times-frac
18×pow-prod-down
17×add-cube-cbrt
11×prod-exp cbrt-unprod
6×difference-of-squares
4×expm1-log1p-u associate-*r* pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp fma-udef associate-/l* distribute-lft-out--
2×pow-plus associate-/r/ *-commutative div-inv unswap-sqr
1×pow2 distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in flip3-- swap-sqr associate-*l/ flip--
Counts
4 → 120
Calls
4 calls:
0.0ms
(fma (* (/ 0.125 (- 1 v)) (fma -2 v 3)) (* (* w r) (* w r)) 4.5)
28.0ms
(* (/ 0.125 (- 1 v)) (fma -2 v 3))
58.0ms
(* (* w r) (* w r))
9.0ms
(/ 2 (* r r))

series235.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(fma (* (/ 0.125 (- 1 v)) (fma -2 v 3)) (* (* w r) (* w r)) 4.5)
41.0ms
(* (/ 0.125 (- 1 v)) (fma -2 v 3))
50.0ms
(* (* w r) (* w r))
37.0ms
(/ 2 (* r r))

simplify2.9s

Counts
132 → 132
Iterations
IterNodes
37117
21594
1497
0212

prune2.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize77.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* (/ 0.125 (- 1 v)) (fma -2 v 3)) (* (* w r) (* w r)) 4.5)
0.1b
(* (/ 0.125 (- 1 v)) (fma -2 v 3))
0.2b
(/ (/ 2 r) r)
0.4b
(* (* w r) (* w r))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac
71×add-sqr-sqrt
66×*-un-lft-identity
57×add-cube-cbrt
45×pow1
26×add-cbrt-cube add-exp-log
25×associate-*l*
18×pow-prod-down
13×associate-/l*
10×prod-exp cbrt-unprod
6×div-inv difference-of-squares
4×expm1-log1p-u cbrt-undiv div-exp associate-*r* pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* fma-udef distribute-lft-out--
2×pow-plus associate-/r/ *-commutative unswap-sqr
1×pow2 distribute-rgt-in clear-num frac-2neg distribute-lft-in flip3-- swap-sqr associate-*l/ flip-- associate-/l/
Counts
4 → 169
Calls
4 calls:
0.0ms
(fma (* (/ 0.125 (- 1 v)) (fma -2 v 3)) (* (* w r) (* w r)) 4.5)
22.0ms
(* (/ 0.125 (- 1 v)) (fma -2 v 3))
15.0ms
(/ (/ 2 r) r)
47.0ms
(* (* w r) (* w r))

series240.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(fma (* (/ 0.125 (- 1 v)) (fma -2 v 3)) (* (* w r) (* w r)) 4.5)
66.0ms
(* (/ 0.125 (- 1 v)) (fma -2 v 3))
29.0ms
(/ (/ 2 r) r)
33.0ms
(* (* w r) (* w r))

simplify739.0ms

Counts
181 → 181
Iterations
IterNodes
22072
1707
0309

prune2.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)) 4.5) 3)
0.1b
(fma (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)) 4.5)
0.2b
(/ (/ 2 r) r)
0.4b
(* (* w r) (* w r))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
55×add-sqr-sqrt *-un-lft-identity
53×add-cube-cbrt
43×pow1
21×add-cbrt-cube add-exp-log
17×pow-prod-down
13×associate-/l*
9×prod-diff
8×prod-exp cbrt-unprod
6×add-log-exp
5×div-inv
4×expm1-log1p-u pow-sqr pow-prod-up insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-/r* fma-neg div-exp
2×pow-plus fma-udef
1×pow2 clear-num sub-neg frac-2neg flip3-- diff-log swap-sqr associate-*r* associate-*l* associate--l+ *-commutative flip-- distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 151
Calls
4 calls:
5.0ms
(- (fma (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)) 4.5) 3)
0.0ms
(fma (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)) 4.5)
11.0ms
(/ (/ 2 r) r)
28.0ms
(* (* w r) (* w r))

series321.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(- (fma (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)) 4.5) 3)
123.0ms
(fma (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)) 4.5)
51.0ms
(/ (/ 2 r) r)
52.0ms
(* (* w r) (* w r))

simplify3.0s

Counts
163 → 163
Iterations
IterNodes
36576
21544
1565
0256

prune2.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* 0.125 (fma -2 v 3)) (- 1 v))
0.1b
(* (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)))
0.2b
(/ (/ 2 r) r)
0.4b
(* (* w r) (* w r))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
95×add-cbrt-cube add-exp-log
87×times-frac
61×pow1
60×add-sqr-sqrt
59×*-un-lft-identity
53×prod-exp cbrt-unprod
50×add-cube-cbrt
30×pow-prod-down
15×cbrt-undiv div-exp
14×associate-/l*
13×associate-*l*
9×associate-/r*
7×div-inv
6×difference-of-squares
4×expm1-log1p-u associate-/r/ pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×distribute-lft-out--
2×clear-num frac-2neg pow-plus flip3-- associate-*r* *-commutative flip--
1×pow2 swap-sqr associate-*l/ unswap-sqr associate-/l/
Counts
4 → 203
Calls
4 calls:
13.0ms
(/ (* 0.125 (fma -2 v 3)) (- 1 v))
99.0ms
(* (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)))
8.0ms
(/ (/ 2 r) r)
28.0ms
(* (* w r) (* w r))

series265.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(/ (* 0.125 (fma -2 v 3)) (- 1 v))
105.0ms
(* (/ (* 0.125 (fma -2 v 3)) (- 1 v)) (* (* w r) (* w r)))
54.0ms
(/ (/ 2 r) r)
53.0ms
(* (* w r) (* w r))

simplify1.2s

Counts
215 → 215
Iterations
IterNodes
23141
1865
0336

prune3.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

regimes604.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
227
127
021

end0.0ms

sample5.1s

Algorithm
intervals
Results
4.6s17276×body80valid