Details

Time bar (total: 1.9m)

sample30.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
3.0ms256×pre80true

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01025
13125
216523
3102919
done500115

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
658×times-frac
346×add-sqr-sqrt
258×add-cube-cbrt *-un-lft-identity
88×difference-of-squares
46×associate-/l*
26×div-inv
22×add-exp-log
16×add-cbrt-cube
13×div-exp
8×cbrt-undiv
6×associate-/r*
2×pow1 frac-2neg clear-num associate-/r/ add-log-exp
1×rec-exp flip3-- 1-exp prod-exp flip-- cbrt-unprod associate-/l/
Counts
2 → 305
Calls
2 calls:
88.0ms
(/ (/ (/ 1 2.0) 2.0) (- (* 2.0 2.0) (/ 1.0 (* i i))))
9.0ms
(/ 1.0 (* i i))

series118.0ms

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

simplify715.0ms

Counts
311 → 311
Iterations

Useful iterations: done (690.0ms)

IterNodesCost
06289095
115648430
done50018114

prune821.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite911.0ms

Algorithm
rewrite-expression-head
Rules
1832×times-frac
1395×add-sqr-sqrt
830×*-un-lft-identity
633×add-cube-cbrt
307×associate-*r*
261×difference-of-squares
116×add-exp-log
87×sqrt-prod distribute-lft-out--
69×div-exp
67×div-inv
46×add-cbrt-cube associate-/l*
24×prod-exp
23×cbrt-undiv
18×associate-*l* unswap-sqr
12×rec-exp 1-exp
11×associate-/r*
8×associate-/r/ cbrt-unprod
7×distribute-lft-out
6×pow1
3×add-log-exp
2×flip3-- frac-2neg flip3-+ clear-num flip-- flip-+
1×frac-times pow-flip associate-*r/ pow-prod-down associate-*l/ *-commutative associate-/l/ inv-pow
Counts
3 → 796
Calls
3 calls:
356.0ms
(* (/ 1 (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ (/ 1 2.0) 2.0) (- 2.0 (/ (sqrt 1.0) i))))
32.0ms
(/ 1 (+ 2.0 (/ (sqrt 1.0) i)))
62.0ms
(/ (/ (/ 1 2.0) 2.0) (- 2.0 (/ (sqrt 1.0) i)))

series404.0ms

Counts
3 → 9
Calls
3 calls:
216.0ms
(* (/ 1 (+ 2.0 (/ (sqrt 1.0) i))) (/ (/ (/ 1 2.0) 2.0) (- 2.0 (/ (sqrt 1.0) i))))
83.0ms
(/ 1 (+ 2.0 (/ (sqrt 1.0) i)))
105.0ms
(/ (/ (/ 1 2.0) 2.0) (- 2.0 (/ (sqrt 1.0) i)))

simplify1.4s

Counts
805 → 805
Iterations

Useful iterations: done (1.4s)

IterNodesCost
094822050
1321120060
done500118520

prune2.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 3 expressions with local error:

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

rewrite735.0ms

Algorithm
rewrite-expression-head
Rules
1857×times-frac
1431×add-sqr-sqrt
835×*-un-lft-identity
655×cbrt-prod
641×add-cube-cbrt
328×associate-*r*
279×difference-of-squares
93×sqrt-prod distribute-lft-out--
66×div-inv
47×associate-/l*
31×add-exp-log
21×add-cbrt-cube
14×unswap-sqr
11×associate-/r*
10×cbrt-undiv div-exp associate-*l*
9×prod-exp cbrt-unprod
8×associate-/r/
5×pow1 cbrt-div
4×associate-/l/
3×distribute-lft-out add-log-exp
2×frac-times flip3-- frac-2neg flip3-+ associate-*r/ associate-*l/ clear-num flip-- flip-+
1×pow-prod-down *-commutative
Counts
3 → 794
Calls
3 calls:
478.0ms
(* (/ (* (cbrt (/ (/ 1 2.0) 2.0)) (cbrt (/ (/ 1 2.0) 2.0))) (+ (/ (sqrt 1.0) i) 2.0)) (/ (cbrt (/ (/ 1 2.0) 2.0)) (- 2.0 (/ (sqrt 1.0) i))))
76.0ms
(/ (cbrt (/ (/ 1 2.0) 2.0)) (- 2.0 (/ (sqrt 1.0) i)))
77.0ms
(/ (* (cbrt (/ (/ 1 2.0) 2.0)) (cbrt (/ (/ 1 2.0) 2.0))) (+ (/ (sqrt 1.0) i) 2.0))

series608.0ms

Counts
3 → 9
Calls
3 calls:
310.0ms
(* (/ (* (cbrt (/ (/ 1 2.0) 2.0)) (cbrt (/ (/ 1 2.0) 2.0))) (+ (/ (sqrt 1.0) i) 2.0)) (/ (cbrt (/ (/ 1 2.0) 2.0)) (- 2.0 (/ (sqrt 1.0) i))))
126.0ms
(/ (cbrt (/ (/ 1 2.0) 2.0)) (- 2.0 (/ (sqrt 1.0) i)))
172.0ms
(/ (* (cbrt (/ (/ 1 2.0) 2.0)) (cbrt (/ (/ 1 2.0) 2.0))) (+ (/ (sqrt 1.0) i) 2.0))

simplify1.8s

Counts
803 → 803
Iterations

Useful iterations: done (1.8s)

IterNodesCost
0102528057
1288126097
done500125211

prune3.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.2s

Algorithm
rewrite-expression-head
Rules
45044×times-frac
21052×*-un-lft-identity
18514×add-sqr-sqrt
17071×cbrt-prod
16634×add-cube-cbrt
2162×distribute-lft-out
1639×div-inv
1361×sqrt-prod
658×difference-of-squares
219×associate-/r*
110×associate-/l*
50×associate-/r/
49×cbrt-div
47×distribute-lft-out--
15×add-exp-log
11×add-cbrt-cube
6×cbrt-undiv div-exp
4×pow1 frac-2neg clear-num add-log-exp
2×sqrt-undiv associate-/l/
1×flip3-- flip--
Counts
4 → 10016
Calls
4 calls:
526.0ms
(/ (cbrt (/ (/ 1 2.0) 2.0)) (/ (+ (sqrt 2.0) (/ (sqrt (sqrt 1.0)) (sqrt i))) (cbrt (/ (/ 1 2.0) 2.0))))
171.0ms
(/ (cbrt (/ (/ 1 2.0) 2.0)) (- (sqrt 2.0) (/ (sqrt (sqrt 1.0)) (sqrt i))))
12.0ms
(/ (sqrt (sqrt 1.0)) (sqrt i))
12.0ms
(/ (sqrt (sqrt 1.0)) (sqrt i))

series1.3s

Counts
4 → 12
Calls
4 calls:
554.0ms
(/ (cbrt (/ (/ 1 2.0) 2.0)) (/ (+ (sqrt 2.0) (/ (sqrt (sqrt 1.0)) (sqrt i))) (cbrt (/ (/ 1 2.0) 2.0))))
494.0ms
(/ (cbrt (/ (/ 1 2.0) 2.0)) (- (sqrt 2.0) (/ (sqrt (sqrt 1.0)) (sqrt i))))
93.0ms
(/ (sqrt (sqrt 1.0)) (sqrt i))
143.0ms
(/ (sqrt (sqrt 1.0)) (sqrt i))

simplify6.6s

Counts
10028 → 10028
Iterations

Useful iterations: 0 (1.7s)

IterNodesCost
011230532319
done11230532319

prune1.5m

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes42.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01115
11315
done1315

end0.0ms

sample1.0s

Algorithm
intervals
Results
563.0ms8000×body80valid
204.0ms8000×pre80true