Details

Time bar (total: 21.4s)

sample22.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
3.0ms256×pre80true

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
31029
2165
131
010

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.2b

localize28.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))
12.7b
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

rewrite231.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:
151.0ms
(* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i 2.0))
71.0ms
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

series243.0ms

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

simplify1.1s

Counts
193 → 193
Iterations
IterNodes
done5000
11110
0331

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite297.0ms

Algorithm
rewrite-expression-head
Rules
832×times-frac
421×add-sqr-sqrt
389×*-un-lft-identity add-cube-cbrt
141×associate-*l*
58×associate-/l*
49×add-cbrt-cube add-exp-log
36×div-inv
25×cbrt-undiv div-exp
20×associate-/r/
13×associate-*r*
8×flip3-+ prod-exp cbrt-unprod flip-+ unswap-sqr
6×associate-/r*
5×pow1
3×add-log-exp
2×clear-num frac-2neg flip3-- flip-- associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 464
Calls
3 calls:
51.0ms
(/ (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
17.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))
175.0ms
(* (/ (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))) (/ i 2.0))

series756.0ms

Counts
3 → 9
Calls
3 calls:
345.0ms
(/ (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))
140.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))
270.0ms
(* (/ (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))) (/ i 2.0))

simplify2.4s

Counts
473 → 473
Iterations
IterNodes
done5000
12546
0728

prune3.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
300×times-frac
193×add-sqr-sqrt
157×*-un-lft-identity add-cube-cbrt
49×add-cbrt-cube add-exp-log
45×associate-*r* associate-*l*
26×associate-/l*
24×cbrt-undiv div-exp
18×div-inv
9×prod-exp cbrt-unprod unswap-sqr
8×associate-/r/
6×associate-/r*
5×pow1
3×add-log-exp
2×clear-num frac-2neg flip3-+ flip3-- flip-+ flip-- associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 273
Calls
3 calls:
17.0ms
(/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0)))
125.0ms
(* (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0))))
27.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))

series485.0ms

Counts
3 → 9
Calls
3 calls:
120.0ms
(/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0)))
252.0ms
(* (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0))))
112.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))

simplify1.4s

Counts
282 → 282
Iterations
IterNodes
done5000
11479
0436

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite474.0ms

Algorithm
rewrite-expression-head
Rules
369×times-frac
240×add-sqr-sqrt
195×*-un-lft-identity add-cube-cbrt
99×sqrt-prod
96×associate-*l*
46×associate-*r*
37×add-cbrt-cube add-exp-log
26×associate-/l*
22×div-inv
12×cbrt-undiv div-exp unswap-sqr
11×pow1
10×sqrt-div prod-exp associate-/r/ cbrt-unprod
6×frac-times associate-/r* associate-*r/
4×flip3-+ pow-prod-down associate-*l/ flip-+ add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×flip3-- flip--
Counts
4 → 341
Calls
4 calls:
30.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))
29.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))
207.0ms
(* (sqrt (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0)))))
174.0ms
(* (sqrt (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0))))

series1.3s

Counts
4 → 12
Calls
4 calls:
108.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))
97.0ms
(/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))
550.0ms
(* (sqrt (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0)))))
592.0ms
(* (sqrt (/ (/ i 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i 2.0) (- (* i 2.0) (sqrt 1.0))))

simplify1.4s

Counts
353 → 353
Iterations
IterNodes
done5001
11631
0553

prune2.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes22.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
IterNodes
done14
114
011

end0.0ms

sample916.0ms

Algorithm
intervals
Results
570.0ms8000×body80valid
182.0ms8000×pre80true