Details

Time bar (total: 23.7s)

sample61.0ms

Algorithm
intervals
Results
41.0ms256×body80valid
9.0ms256×pre80true

simplify233.0ms

Calls
1 calls:
Slowest
233.0ms
(/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.6b

localize31.0ms

Local error

Found 2 expressions with local error:

15.6b
(/ (* (/ i 2) (/ i 2)) (- (* (* 2 i) (* 2 i)) 1.0))
0.0b
(- (* (* 2 i) (* 2 i)) 1.0)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
7×add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×associate-/r* times-frac associate-/l/
2×expm1-log1p-u pow1 cbrt-undiv flip3-- div-exp associate-/r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
1×frac-times clear-num sub-neg frac-2neg fma-neg associate-*l/ prod-exp associate-*r/ cbrt-unprod div-inv associate-/l*
Calls
2 calls:
Slowest
32.0ms
(/ (* (/ i 2) (/ i 2)) (- (* (* 2 i) (* 2 i)) 1.0))
13.0ms
(- (* (* 2 i) (* 2 i)) 1.0)

series66.0ms

Calls
2 calls:
Slowest
41.0ms
(/ (* (/ i 2) (/ i 2)) (- (* (* 2 i) (* 2 i)) 1.0))
25.0ms
(- (* (* 2 i) (* 2 i)) 1.0)

simplify2.5s

Calls
26 calls:
Slowest
375.0ms
(- (+ (log (/ i 2)) (log (/ i 2))) (log (- (* (* 2 i) (* 2 i)) 1.0)))
360.0ms
(- (log (* (/ i 2) (/ i 2))) (log (- (* (* 2 i) (* 2 i)) 1.0)))
283.0ms
(- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
270.0ms
(/ (* (* (* (/ i 2) (/ i 2)) (/ i 2)) (* (* (/ i 2) (/ i 2)) (/ i 2))) (* (* (- (* (* 2 i) (* 2 i)) 1.0) (- (* (* 2 i) (* 2 i)) 1.0)) (- (* (* 2 i) (* 2 i)) 1.0)))
247.0ms
(+ (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (+ (* 1.0 1.0) (* (* (* 2 i) (* 2 i)) 1.0)))

prune405.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 3 expressions with local error:

23.0b
(/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)))
15.6b
(* (/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) (+ (* (* 2 i) (* 2 i)) 1.0))
0.1b
(* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i)))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
62×pow1
29×add-cbrt-cube add-exp-log
23×pow-prod-up
19×pow-prod-down
13×prod-exp cbrt-unprod
12×pow-plus
11×associate-*l*
9×pow2
8×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
4×cbrt-undiv associate-/r* div-exp associate-*r* associate-/r/
3×expm1-log1p-u frac-times associate-*r/ insert-posit16 log1p-expm1-u add-log-exp difference-of-squares associate-/l/
2×flip3-+ flip3-- associate-*l/ *-commutative flip-+ div-inv flip--
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-/l*
Calls
3 calls:
Slowest
77.0ms
(* (/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) (+ (* (* 2 i) (* 2 i)) 1.0))
60.0ms
(/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)))
32.0ms
(* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i)))

series137.0ms

Calls
3 calls:
Slowest
61.0ms
(/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)))
48.0ms
(* (/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) (+ (* (* 2 i) (* 2 i)) 1.0))
27.0ms
(* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i)))

simplify17.0s

Calls
110 calls:
Slowest
1.2s
(* (* (* (/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) (/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)))) (/ (* (/ i 2) (/ i 2)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)))) (* (* (+ (* (* 2 i) (* 2 i)) 1.0) (+ (* (* 2 i) (* 2 i)) 1.0)) (+ (* (* 2 i) (* 2 i)) 1.0)))
585.0ms
(* (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)) (- (* (* 2 i) (* 2 i)) 1.0))
555.0ms
(* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i)))
497.0ms
(/ (/ i 2) (* (cbrt (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) (cbrt (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)))))
488.0ms
(/ (* (* (* (/ i 2) (/ i 2)) (/ i 2)) (* (* (/ i 2) (/ i 2)) (/ i 2))) (* (* (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))))

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (/ 0.015625 i) i)
0.1b
(/ 0.00390625 (pow i 4))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate-/l*
3×associate-/r* div-inv
2×expm1-log1p-u pow1 clear-num frac-2neg add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×associate-/l/
Calls
2 calls:
Slowest
6.0ms
(/ (/ 0.015625 i) i)
1.0ms
(/ 0.00390625 (pow i 4))

series27.0ms

Calls
2 calls:
Slowest
15.0ms
(/ 0.00390625 (pow i 4))
11.0ms
(/ (/ 0.015625 i) i)

simplify74.0ms

Calls
11 calls:
Slowest
15.0ms
(/ 0.015625 (pow i 2))
11.0ms
(/ 0.015625 (pow i 2))
8.0ms
(* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i)))
7.0ms
(/ 0.015625 (pow i 2))
7.0ms
(sqrt (/ 0.015625 i))

prune313.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes25.0ms

Accuracy

100% (0.0b remaining)

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

bsearch71.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
924.0ms8000×body80valid
257.0ms8000×pre80true