Details

Time bar (total: 48.4s)

sample44.0ms

Algorithm
intervals
Results
25.0ms256×body80valid
4.0ms256×pre80true

simplify5.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (2.4s)

IterNodesCost
010283
131283
2153283
3745283
44112243
done5261243

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 15.3b

localize17.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (/ i 2.0) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0)))
14.4b
(/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0))

rewrite359.0ms

Algorithm
rewrite-expression-head
Rules
2592×times-frac
1241×add-sqr-sqrt
1045×*-un-lft-identity add-cube-cbrt
196×difference-of-squares
135×div-inv
70×associate-/r*
28×add-cbrt-cube add-exp-log
18×cbrt-undiv div-exp
17×associate-/l*
16×associate-/r/
3×associate-/l/
2×pow1 clear-num frac-2neg add-log-exp
1×flip3-- div-sub flip--
Counts
2 → 922
Calls
2 calls:
105.0ms
(/ (/ i 2.0) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0)))
85.0ms
(/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0))

series305.0ms

Counts
2 → 6
Calls
2 calls:
111.0ms
(/ (/ i 2.0) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0)))
194.0ms
(/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0))

simplify2.6s

Counts
928 → 928
Iterations

Useful iterations: done (2.3s)

IterNodesCost
01661695887
done5000665451

prune5.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 3 expressions with local error:

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

rewrite644.0ms

Algorithm
rewrite-expression-head
Rules
3803×times-frac
1679×add-sqr-sqrt
1593×*-un-lft-identity
1587×add-cube-cbrt
577×associate-*r*
201×div-inv
163×add-exp-log
104×div-exp
91×add-cbrt-cube
53×cbrt-undiv
47×associate-/r*
33×associate-/r/
26×prod-exp
20×unswap-sqr
16×associate-/l*
15×associate-*l*
14×cbrt-unprod
9×rec-exp 1-exp
5×pow1
3×add-log-exp
2×clear-num frac-2neg flip3-+ flip-+
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
3 → 1352
Calls
3 calls:
25.0ms
(/ i (+ (* 2.0 i) (sqrt 1.0)))
376.0ms
(* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0))))
56.0ms
(/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0)))

series566.0ms

Counts
3 → 9
Calls
3 calls:
110.0ms
(/ i (+ (* 2.0 i) (sqrt 1.0)))
286.0ms
(* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0))))
170.0ms
(/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0)))

simplify4.8s

Counts
1361 → 1361
Iterations

Useful iterations: done (4.4s)

IterNodesCost
01923942995
done5001884565

prune8.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite659.0ms

Algorithm
rewrite-expression-head
Rules
3754×times-frac
1616×add-sqr-sqrt
1578×*-un-lft-identity
1575×add-cube-cbrt
577×associate-*r*
200×div-inv
163×add-exp-log
104×div-exp
91×add-cbrt-cube
53×cbrt-undiv
47×associate-/r*
31×associate-/r/
26×prod-exp
14×cbrt-unprod associate-/l*
10×unswap-sqr
9×rec-exp 1-exp
5×pow1
3×associate-*l* add-log-exp
2×clear-num frac-2neg associate-*r/ associate-/l/
1×flip3-+ pow-prod-down *-commutative flip-+
Counts
3 → 1321
Calls
3 calls:
88.0ms
(/ (* i (/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0)))) (+ (* 2.0 i) (sqrt 1.0)))
332.0ms
(* i (/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0))))
58.0ms
(/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0)))

series545.0ms

Counts
3 → 9
Calls
3 calls:
258.0ms
(/ (* i (/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0)))) (+ (* 2.0 i) (sqrt 1.0)))
142.0ms
(* i (/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0))))
145.0ms
(/ (/ 1 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i 2.0)))

simplify4.5s

Counts
1330 → 1330
Iterations

Useful iterations: done (4.2s)

IterNodesCost
01897860337
done5001802729

prune8.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i 2.0))
14.7b
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
203×times-frac
148×add-sqr-sqrt
100×*-un-lft-identity add-cube-cbrt
58×associate-*l*
28×add-cbrt-cube add-exp-log
27×difference-of-squares
13×associate-*r* associate-/l*
12×cbrt-undiv div-exp div-inv
6×prod-exp cbrt-unprod unswap-sqr
4×pow1 associate-/r* associate-/r/
2×flip3-- flip-- add-log-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
2 → 187
Calls
2 calls:
205.0ms
(* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i 2.0))
81.0ms
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

series275.0ms

Counts
2 → 6
Calls
2 calls:
134.0ms
(* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i 2.0))
140.0ms
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

simplify3.3s

Counts
193 → 193
Iterations

Useful iterations: done (3.3s)

IterNodesCost
033183363
1107479486
2370876910
done500576830

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes40.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
014404
119404
done19404

end0.0ms

sample1.1s

Algorithm
intervals
Results
815.0ms8000×body80valid
135.0ms8000×pre80true