Details

Time bar (total: 16.1s)

sample18.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
2.0ms256×pre80true

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 4 (3.6s)

IterNodesCost
01025
13225
216723
386919
4481715
done500015

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize7.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
0.8b
(/ 1.0 (* i i))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
16×add-cbrt-cube
10×prod-exp
8×pow1 div-exp
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/l*
5×cbrt-undiv
4×cbrt-unprod
3×rec-exp pow-flip 1-exp pow-prod-down
2×expm1-log1p-u frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ log1p-expm1-u div-inv add-log-exp
1×flip3-- flip-- inv-pow
Counts
2 → 60
Calls
2 calls:
27.0ms
(/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
3.0ms
(/ 1.0 (* i i))

series78.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
25.0ms
(/ 1.0 (* i i))

simplify2.4s

Counts
66 → 66
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
0136944
1339867
2989732
34237730
done5000730

prune102.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
0.8b
(/ 1.0 (* i i))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt times-frac
14×add-cube-cbrt *-un-lft-identity
11×add-exp-log
9×add-cbrt-cube
8×difference-of-squares
6×associate-/r* associate-/l*
4×div-exp
3×pow1 cbrt-undiv
2×expm1-log1p-u frac-2neg clear-num associate-/r/ log1p-expm1-u div-inv add-log-exp
1×rec-exp flip3-- pow-flip 1-exp prod-exp flip-- cbrt-unprod inv-pow
Counts
2 → 66
Calls
2 calls:
11.0ms
(/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
3.0ms
(/ 1.0 (* i i))

series78.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
25.0ms
(/ 1.0 (* i i))

simplify1.9s

Counts
72 → 72
Iterations

Useful iterations: done (1.9s)

IterNodesCost
0140989
1294921
2710835
32399833
done5000832

prune125.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
272×times-frac
246×add-sqr-sqrt
188×*-un-lft-identity
94×add-cube-cbrt
57×difference-of-squares
28×distribute-lft-out
21×associate-/l*
20×associate-/r/
19×sqrt-prod distribute-lft-out--
15×add-exp-log
11×associate-/r*
10×div-inv
9×flip3-+ add-cbrt-cube flip-+
8×div-exp
4×cbrt-undiv
3×pow1
2×expm1-log1p-u rec-exp frac-2neg 1-exp clear-num log1p-expm1-u add-log-exp
1×flip3-- pow-flip flip-- associate-/l/ inv-pow
Counts
2 → 211
Calls
2 calls:
48.0ms
(/ (/ 1 (+ 2.0 (/ (sqrt 1.0) i))) (- 2.0 (/ (sqrt 1.0) i)))
21.0ms
(/ 1 (+ 2.0 (/ (sqrt 1.0) i)))

series215.0ms

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

simplify1.2s

Counts
217 → 217
Iterations

Useful iterations: 2 (459.0ms)

IterNodesCost
02935985
17335525
221175080
done50015080

prune283.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
123×add-sqr-sqrt
92×times-frac
77×*-un-lft-identity
51×add-exp-log
43×add-cube-cbrt
27×associate-*r*
21×difference-of-squares
20×div-exp
19×add-cbrt-cube
18×associate-*l*
16×prod-exp
11×associate-/r*
10×rec-exp 1-exp
9×pow1 unswap-sqr
8×associate-/r/
7×sqrt-prod distribute-lft-out distribute-lft-out--
6×cbrt-undiv associate-/l*
4×pow-flip cbrt-unprod div-inv inv-pow
3×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
2×flip3-- frac-2neg flip3-+ clear-num flip-- flip-+
1×frac-times associate-*r/ associate-*l/ un-div-inv *-commutative
Counts
3 → 181
Calls
3 calls:
89.0ms
(* (/ 1 (+ 2.0 (/ (sqrt 1.0) i))) (/ 1 (- 2.0 (/ (sqrt 1.0) i))))
19.0ms
(/ 1 (- 2.0 (/ (sqrt 1.0) i)))
21.0ms
(/ 1 (+ 2.0 (/ (sqrt 1.0) i)))

series286.0ms

Counts
3 → 9
Calls
3 calls:
155.0ms
(* (/ 1 (+ 2.0 (/ (sqrt 1.0) i))) (/ 1 (- 2.0 (/ (sqrt 1.0) i))))
69.0ms
(/ 1 (- 2.0 (/ (sqrt 1.0) i)))
61.0ms
(/ 1 (+ 2.0 (/ (sqrt 1.0) i)))

simplify2.7s

Counts
190 → 190
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
02453473
16843127
215772580
349052560
done50002560

prune289.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes13.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01321
11721
done1721

end0.0ms

sample378.0ms

Algorithm
intervals
Results
229.0ms8000×body80valid
60.0ms8000×pre80true