Details

Time bar (total: 9.2s)

sample23.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
3.0ms256×pre80true

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01025
13125
216523
3102919
done500115

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.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))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
659×times-frac
349×add-sqr-sqrt
259×add-cube-cbrt *-un-lft-identity
90×difference-of-squares
46×associate-/l*
26×div-inv
23×add-exp-log
17×add-cbrt-cube
13×div-exp
8×cbrt-undiv
6×associate-/r*
5×add-log-exp
3×pow1
2×flip3-- frac-2neg clear-num associate-/r/ flip--
1×sub-neg rec-exp diff-log 1-exp prod-exp cbrt-unprod associate-/l/
Counts
3 → 319
Calls
3 calls:
14.0ms
(- (* 2.0 2.0) (/ 1.0 (* i i)))
72.0ms
(/ (/ (/ 1 2.0) 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
14.0ms
(/ 1.0 (* i i))

series157.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(- (* 2.0 2.0) (/ 1.0 (* i i)))
68.0ms
(/ (/ (/ 1 2.0) 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
33.0ms
(/ 1.0 (* i i))

simplify703.0ms

Counts
328 → 328
Iterations

Useful iterations: done (688.0ms)

IterNodesCost
06389343
115988671
done50008327

prune731.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize15.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)))

rewrite462.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×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 → 435
Calls
3 calls:
341.0ms
(* (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
48.0ms
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
37.0ms
(/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))

series419.0ms

Counts
3 → 9
Calls
3 calls:
231.0ms
(* (/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
102.0ms
(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
85.0ms
(/ (/ 1 2.0) (+ 2.0 (/ (sqrt 1.0) i)))

simplify936.0ms

Counts
444 → 444
Iterations

Useful iterations: done (916.0ms)

IterNodesCost
051610811
1176710001
done50019373

prune996.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (pow i 6))
0.0b
(+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
0.0b
(+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
0.2b
(* 0.25 (pow i 2))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
15×associate-*r*
14×add-exp-log
11×add-log-exp
10×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down add-cbrt-cube
7×unswap-sqr
6×associate-*l* prod-exp
4×pow1 sum-log sqr-pow
2×+-commutative pow-to-exp flip3-+ pow-exp *-commutative cbrt-unprod flip-+ unpow2
1×associate-+r+
Counts
4 → 76
Calls
4 calls:
13.0ms
(* 4.0 (pow i 6))
27.0ms
(+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
21.0ms
(+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
13.0ms
(* 0.25 (pow i 2))

series396.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* 4.0 (pow i 6))
82.0ms
(+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
195.0ms
(+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
41.0ms
(* 0.25 (pow i 2))

simplify1.0s

Counts
88 → 88
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01371110
1364996
21526921
done5000908

prune354.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes17.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

sample1.3s

Algorithm
intervals
Results
932.0ms8000×body80valid
139.0ms8000×pre80true