Details

Time bar (total: 16.9s)

sample40.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
5.0ms256×pre80true

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01025
13225
216923
3102919
done500115

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 2.0 2.0) (/ 1.0 (* i i)))
0.1b
(/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
0.7b
(/ 1.0 (* i i))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
68×times-frac
45×add-sqr-sqrt
27×add-exp-log add-cube-cbrt *-un-lft-identity
18×difference-of-squares
17×add-cbrt-cube
13×div-exp
10×associate-/l*
9×div-inv
7×cbrt-undiv prod-diff
6×associate-/r*
5×add-log-exp
4×prod-exp
3×pow1 expm1-log1p-u log1p-expm1-u
2×rec-exp flip3-- frac-2neg 1-exp clear-num associate-/r/ flip-- cbrt-unprod
1×sub-neg fma-neg diff-log associate-/l/
Counts
3 → 119
Calls
3 calls:
28.0ms
(- (* 2.0 2.0) (/ 1.0 (* i i)))
61.0ms
(/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
18.0ms
(/ 1.0 (* i i))

series183.0ms

Counts
3 → 9
Calls
3 calls:
61.0ms
(- (* 2.0 2.0) (/ 1.0 (* i i)))
82.0ms
(/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
39.0ms
(/ 1.0 (* i i))

simplify2.2s

Counts
128 → 128
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02552549
16632376
233852147
done50012141

prune246.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
0.1b
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
0.1b
(/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))

rewrite349.0ms

Algorithm
rewrite-expression-head
Rules
596×times-frac
507×add-sqr-sqrt
343×*-un-lft-identity
227×add-cube-cbrt
121×add-exp-log
97×associate-*r*
81×difference-of-squares
72×div-exp
58×associate-*l*
49×add-cbrt-cube
28×div-inv
27×sqrt-prod distribute-lft-out distribute-lft-out--
26×associate-/l*
25×prod-exp
24×cbrt-undiv
16×unswap-sqr
12×rec-exp 1-exp
11×associate-/r*
9×cbrt-unprod
8×associate-/r/
5×pow1
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- frac-2neg flip3-+ clear-num flip-- flip-+ associate-/l/
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
3 → 441
Calls
3 calls:
227.0ms
(* (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
41.0ms
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
43.0ms
(/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))

series356.0ms

Counts
3 → 9
Calls
3 calls:
209.0ms
(* (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
76.0ms
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
70.0ms
(/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))

simplify923.0ms

Counts
450 → 450
Iterations

Useful iterations: done (898.0ms)

IterNodesCost
052210899
1178710073
done50009451

prune1.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (/ (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))) 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
0.1b
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))

rewrite741.0ms

Algorithm
rewrite-expression-head
Rules
5526×times-frac
3475×add-sqr-sqrt
2813×*-un-lft-identity
1803×add-cube-cbrt
627×difference-of-squares
308×associate-/l*
296×distribute-lft-out
209×sqrt-prod distribute-lft-out--
135×div-inv
34×associate-/r/
33×add-exp-log
23×div-exp
21×add-cbrt-cube
16×flip3-- flip--
13×cbrt-undiv
11×associate-/r*
2×pow1 expm1-log1p-u rec-exp frac-2neg 1-exp clear-num log1p-expm1-u associate-/l/ add-log-exp
1×flip3-+ flip-+
Counts
2 → 1636
Calls
2 calls:
320.0ms
(/ (/ (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))) 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
48.0ms
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))

series317.0ms

Counts
2 → 6
Calls
2 calls:
231.0ms
(/ (/ (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))) 2.0) (+ 2.0 (/ (sqrt 1.0) i)))
86.0ms
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))

simplify2.5s

Counts
1642 → 1642
Iterations

Useful iterations: done (2.4s)

IterNodesCost
0200765414
1480460045
done500059809

prune3.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 2.0) (/ 1.0 (* i i)))
0.1b
(/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
0.1b
(* (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
0.7b
(/ 1.0 (* i i))

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
167×times-frac
115×add-sqr-sqrt
80×cbrt-prod
64×*-un-lft-identity
63×add-cube-cbrt
56×associate-*r*
44×difference-of-squares
23×add-exp-log
16×add-cbrt-cube
15×div-inv
13×associate-/l*
9×pow1 cbrt-div
7×prod-diff prod-exp cbrt-unprod
6×associate-/r* add-log-exp
5×cbrt-undiv frac-times div-exp associate-*l/ unswap-sqr
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×flip3-- associate-*r/ pow-prod-down flip--
2×frac-2neg clear-num
1×sub-neg fma-neg diff-log associate-*l* *-commutative associate-/l/
Counts
4 → 218
Calls
4 calls:
21.0ms
(- (* 2.0 2.0) (/ 1.0 (* i i)))
44.0ms
(/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
158.0ms
(* (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
13.0ms
(/ 1.0 (* i i))

series419.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(- (* 2.0 2.0) (/ 1.0 (* i i)))
141.0ms
(/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
156.0ms
(* (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (/ (cbrt (/ 1 (* 2.0 2.0))) (- (* 2.0 2.0) (/ 1.0 (* i i)))))
37.0ms
(/ 1.0 (* i i))

simplify727.0ms

Counts
230 → 230
Iterations

Useful iterations: done (719.0ms)

IterNodesCost
03666083
110575811
done50005358

prune682.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes24.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01221
11621
done1621

end0.0ms

sample885.0ms

Algorithm
intervals
Results
516.0ms8000×body80valid
183.0ms8000×pre80true