Details

Time bar (total: 43.2s)

sample40.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
5.0ms256×pre80true

simplify11.6s

Counts
1 → 1
Iterations
IterNodes
done5261
44112
3745
2153
131
010

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize71.0ms

Local error

Found 2 expressions with local error:

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

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
11×add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×cbrt-undiv times-frac div-exp prod-exp cbrt-unprod associate-/l*
2×pow1 flip3-- associate-*r/ associate-/r/ insert-posit16 flip--
1×clear-num associate-/r* sub-neg frac-2neg diff-log div-inv
Counts
2 → 39
Calls
2 calls:
82.0ms
(- (* (* 2.0 2.0) i) (/ 1.0 i))
124.0ms
(/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))

series311.0ms

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

simplify2.9s

Counts
45 → 45
Iterations
IterNodes
done5001
21091
1291
0111

prune431.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize122.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* i i) (+ (* (* i i) 1.0) 0.25))
0.1b
(* i (* i i))
0.1b
(* i (* i i))
0.1b
(* (* i (* i i)) (* i (* i i)))

rewrite658.0ms

Algorithm
rewrite-expression-head
Rules
297×pow1
126×pow-prod-up
82×pow-prod-down
55×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
32×pow-sqr
23×pow-plus
17×pow2
16×cube-unmult
10×add-sqr-sqrt
8×associate-*l*
7×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×*-commutative insert-posit16 add-log-exp
3×unswap-sqr
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ swap-sqr flip-+
Counts
4 → 174
Calls
4 calls:
199.0ms
(* (* i i) (+ (* (* i i) 1.0) 0.25))
43.0ms
(* i (* i i))
41.0ms
(* i (* i i))
357.0ms
(* (* i (* i i)) (* i (* i i)))

series355.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(* (* i i) (+ (* (* i i) 1.0) 0.25))
44.0ms
(* i (* i i))
55.0ms
(* i (* i i))
73.0ms
(* (* i (* i i)) (* i (* i i)))

simplify5.1s

Counts
186 → 186
Iterations
IterNodes
done5000
21741
1427
0132

prune930.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize91.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 0.00390625 (* (* i i) (* i i))) (/ 0.015625 (* i i)))
0.1b
(/ 0.00390625 (* (* i i) (* i i)))
0.1b
(* (* i i) (* i i))
0.8b
(/ 0.015625 (* i i))

rewrite441.0ms

Algorithm
rewrite-expression-head
Rules
115×pow1
39×add-cbrt-cube add-exp-log
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
18×pow-plus
17×prod-exp cbrt-unprod
13×pow2
10×*-un-lft-identity
8×add-sqr-sqrt add-cube-cbrt
7×cbrt-undiv div-exp
6×times-frac associate-/l* add-log-exp
4×insert-posit16
2×clear-num associate-/r* frac-2neg div-inv
1×+-commutative sum-log flip3-+ swap-sqr associate-*r* associate-*l* frac-add *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
4 → 128
Calls
4 calls:
248.0ms
(+ (/ 0.00390625 (* (* i i) (* i i))) (/ 0.015625 (* i i)))
82.0ms
(/ 0.00390625 (* (* i i) (* i i)))
85.0ms
(* (* i i) (* i i))
17.0ms
(/ 0.015625 (* i i))

series371.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(+ (/ 0.00390625 (* (* i i) (* i i))) (/ 0.015625 (* i i)))
79.0ms
(/ 0.00390625 (* (* i i) (* i i)))
49.0ms
(* (* i i) (* i i))
56.0ms
(/ 0.015625 (* i i))

simplify3.3s

Counts
140 → 140
Iterations
IterNodes
done5000
21695
1411
0141

prune740.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize173.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1.0 i) (/ 1.0 i))
0.4b
(* (* (* 2.0 2.0) i) (/ 1.0 i))
3.7b
(/ (/ i (* 2.0 2.0)) (- (* (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (* i (* 2.0 2.0))) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i))))
37.3b
(* (/ (/ i (* 2.0 2.0)) (- (* (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (* i (* 2.0 2.0))) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i)))) (+ (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (/ 1.0 i)))))

rewrite7.0s

Algorithm
rewrite-expression-head
Rules
135×times-frac
94×add-sqr-sqrt
74×*-un-lft-identity add-cube-cbrt
60×add-cbrt-cube add-exp-log
48×associate-*l*
30×pow3
29×associate-*r*
22×pow1 prod-exp cbrt-unprod
17×cbrt-undiv div-exp
16×div-inv
15×difference-cubes
13×swap-sqr
8×pow-prod-down
7×associate-/l* unswap-sqr
4×associate-/r* associate-*r/ associate-/r/ insert-posit16 add-log-exp
3×frac-times *-commutative
2×flip3-+ flip3-- associate-*l/ flip-+ flip--
1×pow2 distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-plus pow-sqr pow-prod-up associate-/l/
Counts
4 → 231
Calls
4 calls:
70.0ms
(* (/ 1.0 i) (/ 1.0 i))
125.0ms
(* (* (* 2.0 2.0) i) (/ 1.0 i))
1.8s
(/ (/ i (* 2.0 2.0)) (- (* (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (* i (* 2.0 2.0))) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i))))
5.0s
(* (/ (/ i (* 2.0 2.0)) (- (* (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (* i (* 2.0 2.0))) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i)))) (+ (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (/ 1.0 i)))))

series769.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (/ 1.0 i) (/ 1.0 i))
3.0ms
(* (* (* 2.0 2.0) i) (/ 1.0 i))
486.0ms
(/ (/ i (* 2.0 2.0)) (- (* (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (* i (* 2.0 2.0))) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i))))
234.0ms
(* (/ (/ i (* 2.0 2.0)) (- (* (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (* i (* 2.0 2.0))) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i)))) (+ (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (/ 1.0 i)))))

simplify3.9s

Counts
243 → 243
Iterations
IterNodes
done5001
11596
0415

prune2.2s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes125.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
done11
111
09

end0.0ms

sample1.4s

Algorithm
intervals
Results
655.0ms8000×body80valid
540.0ms8000×pre80true