Details

sample55.0ms

Algorithm

intervals

Results

32.0ms	256×	body	80	valid
9.0ms	256×	pre	80	true

simplify928.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	2054
4	2054
3	709
2	152
1	33
0	10

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* i i) 4)
17.0b	(/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-cbrt-cube` `add-exp-log`
7×	`pow1`
6×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
5×	`*-un-lft-identity` `add-cube-cbrt`
3×	`cbrt-undiv` `associate-/r` `times-frac` `div-exp` `associate-r*` `pow-prod-down`
2×	`expm1-log1p-u` `associate-/r/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`clear-num` `frac-2neg` `flip3--` `associate-l` `-commutative` `div-inv` `flip--` `associate-/l` `unswap-sqr`

Counts

2 → 50

Calls

2 calls:

14.0ms	(* (* i i) 4)
46.0ms	(/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))

series138.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(* (* i i) 4)
100.0ms	(/ (* (* i i) 1/4) (- (* (* i i) 4) 1.0))

simplify1.1s

Counts

56 → 56

Iterations

Iter	Nodes
done	2010
3	2010
2	1278
1	323
0	119

prune149.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* i i) 4)
0.1b	(* (* (* i i) 4) (* (* i i) 4))
17.1b	(* (/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0))) (+ (* (* i i) 4) 1.0))
24.7b	(/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0)))

rewrite924.0ms

Algorithm

rewrite-expression-head

Rules

125×	`pow1`
70×	`pow-prod-down`
68×	`add-cbrt-cube` `add-exp-log`
40×	`prod-exp` `cbrt-unprod`
13×	`add-sqr-sqrt`
12×	`associate-l`
10×	`*-un-lft-identity` `add-cube-cbrt`
9×	`pow-sqr` `pow-prod-up`
8×	`times-frac`
7×	`associate-r`
6×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `associate-/r*` `associate-/r/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-plus` `*-commutative` `difference-of-squares`
2×	`frac-times` `flip3-+` `flip3--` `associate-*r/` `flip-+` `div-inv` `flip--` `unswap-sqr`
1×	`pow2` `distribute-rgt-in` `clear-num` `frac-2neg` `distribute-lft-in` `swap-sqr` `associate-l/` `associate-/l`

Counts

4 → 156

Calls

4 calls:

24.0ms	(* (* i i) 4)
107.0ms	(* (* (* i i) 4) (* (* i i) 4))
551.0ms	(* (/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0))) (+ (* (* i i) 4) 1.0))
237.0ms	(/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0)))

series416.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (* i i) 4)
39.0ms	(* (* (* i i) 4) (* (* i i) 4))
128.0ms	(* (/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0))) (+ (* (* i i) 4) 1.0))
215.0ms	(/ (* (* i i) 1/4) (- (* (* (* i i) 4) (* (* i i) 4)) (* 1.0 1.0)))

simplify1.2s

Counts

168 → 168

Iterations

Iter	Nodes
done	2002
2	2002
1	757
0	235

prune495.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.1b	(* (* i i) (* i i))
0.2b	(/ 0.015625 (* i i))
0.5b	(/ 0.00390625 (* (* i i) (* i i)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

114×	`pow1`
38×	`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`
7×	`add-sqr-sqrt` `cbrt-undiv` `*-un-lft-identity` `div-exp` `add-cube-cbrt`
6×	`times-frac` `associate-/l*`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `associate-/r*` `frac-2neg` `div-inv`
1×	`swap-sqr` `associate-r` `associate-l` `*-commutative` `unswap-sqr`

Counts

3 → 120

Calls

3 calls:

25.0ms	(* (* i i) (* i i))
7.0ms	(/ 0.015625 (* i i))
24.0ms	(/ 0.00390625 (* (* i i) (* i i)))

series144.0ms

Counts

3 → 9

Calls

3 calls:

45.0ms	(* (* i i) (* i i))
41.0ms	(/ 0.015625 (* i i))
57.0ms	(/ 0.00390625 (* (* i i) (* i i)))

simplify972.0ms

Counts

129 → 129

Iterations

Iter	Nodes
done	2016
3	2016
2	1036
1	334
0	120

prune207.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes22.0ms

Accuracy

100% (0.0b remaining)

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

bsearch98.0ms

Steps

Iters	Range		Point
10	3.2650506292966965e-07	24409.674662813042	213.0387272011366

simplify7.0ms

Iterations

Iter	Nodes
done	30
1	30
0	24

end0.0ms

sample1.1s

Algorithm

intervals

Results

809.0ms	8000×	body	80	valid
180.0ms	8000×	pre	80	true