Details

Time bar (total: 40.4s)

sample32.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
4.0ms256×pre80true

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: done (1.4s)

IterNodesCost
010283
131283
2165283
31029283
done5000243

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.3b

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

rewrite249.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:
87.0ms
(/ (/ i 2.0) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0)))
62.0ms
(/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i 2.0))

series294.0ms

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

simplify2.2s

Counts
928 → 928
Iterations

Useful iterations: done (2.0s)

IterNodesCost
01661695887
done5001665659

prune4.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite776.0ms

Algorithm
rewrite-expression-head
Rules
4041×times-frac
1884×add-sqr-sqrt
1686×*-un-lft-identity
1658×add-cube-cbrt
577×associate-*r*
436×add-exp-log
301×div-exp
209×div-inv
140×add-cbrt-cube
85×cbrt-undiv
77×prod-exp
60×associate-/r*
45×unswap-sqr
44×associate-*l*
40×rec-exp 1-exp
31×associate-/r/
21×cbrt-unprod
19×associate-/l*
7×pow1
4×add-log-exp
3×clear-num frac-2neg associate-/l/
1×frac-times flip3-+ pow-prod-down associate-*l/ associate-*r/ *-commutative flip-+ pow-flip inv-pow
Counts
4 → 1538
Calls
4 calls:
22.0ms
(/ (+ (* 2.0 i) (sqrt 1.0)) i)
34.0ms
(/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0)))
553.0ms
(* (/ 1 (/ (+ (* 2.0 i) (sqrt 1.0)) i)) (/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0))))
29.0ms
(/ 1 (/ (+ (* 2.0 i) (sqrt 1.0)) i))

series865.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(/ (+ (* 2.0 i) (sqrt 1.0)) i)
105.0ms
(/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0)))
548.0ms
(* (/ 1 (/ (+ (* 2.0 i) (sqrt 1.0)) i)) (/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0))))
108.0ms
(/ 1 (/ (+ (* 2.0 i) (sqrt 1.0)) i))

simplify3.4s

Counts
1550 → 1550
Iterations

Useful iterations: done (3.0s)

IterNodesCost
021241094918
done50011018163

prune8.9s

Pruning

2 alts after pruning (2 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)) (/ 1 2.0)))
0.0b
(* (/ 1 (+ (/ (sqrt 1.0) i) 2.0)) (/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0))))
0.3b
(/ 1 (+ (/ (sqrt 1.0) i) 2.0))

rewrite705.0ms

Algorithm
rewrite-expression-head
Rules
3835×times-frac
1712×add-sqr-sqrt
1618×*-un-lft-identity
1589×add-cube-cbrt
577×associate-*r*
241×add-exp-log
201×div-inv
159×div-exp
91×add-cbrt-cube
53×cbrt-undiv
48×associate-/r*
44×prod-exp
33×associate-/r/
27×unswap-sqr
22×rec-exp 1-exp
18×associate-*l*
16×associate-/l*
14×cbrt-unprod
7×distribute-lft-out
6×pow1
3×add-log-exp
2×clear-num frac-2neg flip3-+ flip-+
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative pow-flip inv-pow associate-/l/
Counts
3 → 1386
Calls
3 calls:
54.0ms
(/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0)))
414.0ms
(* (/ 1 (+ (/ (sqrt 1.0) i) 2.0)) (/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0))))
32.0ms
(/ 1 (+ (/ (sqrt 1.0) i) 2.0))

series554.0ms

Counts
3 → 9
Calls
3 calls:
137.0ms
(/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0)))
335.0ms
(* (/ 1 (+ (/ (sqrt 1.0) i) 2.0)) (/ (/ i 2.0) (/ (- (* 2.0 i) (sqrt 1.0)) (/ 1 2.0))))
82.0ms
(/ 1 (+ (/ (sqrt 1.0) i) 2.0))

simplify3.9s

Counts
1395 → 1395
Iterations

Useful iterations: done (3.5s)

IterNodesCost
01951986661
done5000919612

prune8.1s

Pruning

2 alts after pruning (1 fresh and 1 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))
15.7b
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

rewrite266.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:
169.0ms
(* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i 2.0))
79.0ms
(/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))

series282.0ms

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

simplify1.5s

Counts
193 → 193
Iterations

Useful iterations: done (1.4s)

IterNodesCost
033183363
1111079486
done500077194

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes32.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
015444
120444
done20444

end0.0ms

sample1.1s

Algorithm
intervals
Results
536.0ms8000×body80valid
443.0ms8000×pre80true