Details

Time bar (total: 3.1m)

sample67.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
9.0ms256×pre80true

simplify276.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.8b

localize13.0ms

Local error

Found 3 expressions with local error:

15.8b
(/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))
0.0b
(* 4 (* i i))
0.0b
(- (* 4 (* i i)) 1.0)

rewrite508.0ms

Algorithm
rewrite-expression-head
Rules
537×add-sqr-sqrt
300×times-frac
262×associate-*l*
230×*-un-lft-identity
162×add-cube-cbrt
146×unswap-sqr
129×associate-*r*
102×difference-of-squares
84×swap-sqr
57×*-commutative
34×distribute-lft-out--
20×associate-/r* add-cbrt-cube add-exp-log
15×associate-/l*
8×pow1
7×prod-exp cbrt-unprod
5×add-log-exp
4×cbrt-undiv div-exp
3×pow-prod-down insert-posit16
2×flip3-- associate-*l/ associate-/r/ flip--
1×clear-num sub-neg frac-2neg diff-log div-inv
Calls
3 calls:
Slowest
362.0ms
(/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))
101.0ms
(- (* 4 (* i i)) 1.0)
27.0ms
(* 4 (* i i))

series281.0ms

Calls
3 calls:
Slowest
134.0ms
(/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))
107.0ms
(- (* 4 (* i i)) 1.0)
40.0ms
(* 4 (* i i))

simplify57.6s

Calls
693 calls:
Slowest
702.0ms
(/ (* (* (cbrt i) (cbrt i)) (* (cbrt i) (cbrt i))) (* (cbrt (* (- (* 4 (* i i)) 1.0) 4)) (cbrt (* (- (* 4 (* i i)) 1.0) 4))))
586.0ms
(/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4)))
567.0ms
(/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4)))
501.0ms
(- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
464.0ms
(/ (* i 1) (* (- (* 4 (* i i)) 1.0) (* (cbrt 4) (cbrt 4))))

prune3.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (/ i (+ (* (sqrt 4) i) (sqrt 1.0))) (/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) 4)))
0.0b
(/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) 4))
0.0b
(/ i (+ (* (sqrt 4) i) (sqrt 1.0)))

rewrite982.0ms

Algorithm
rewrite-expression-head
Rules
578×add-sqr-sqrt
528×*-un-lft-identity
468×associate-/r*
374×associate-*l*
324×frac-times
210×sqrt-prod
197×add-cube-cbrt
169×times-frac
130×associate-/l*
129×associate-*r*
120×difference-of-squares
108×unswap-sqr
105×distribute-lft-out
60×distribute-lft-out--
44×clear-num
43×frac-2neg
31×add-cbrt-cube add-exp-log
27×associate-*r/
21×*-commutative
16×associate-*l/
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r/
5×pow1
4×div-inv
3×insert-posit16 add-log-exp
2×flip3-+ flip3-- un-div-inv flip-+ flip--
1×pow-prod-down
Calls
3 calls:
Slowest
761.0ms
(* (/ i (+ (* (sqrt 4) i) (sqrt 1.0))) (/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) 4)))
166.0ms
(/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) 4))
26.0ms
(/ i (+ (* (sqrt 4) i) (sqrt 1.0)))

series507.0ms

Calls
3 calls:
Slowest
276.0ms
(* (/ i (+ (* (sqrt 4) i) (sqrt 1.0))) (/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) 4)))
126.0ms
(/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) 4))
105.0ms
(/ i (+ (* (sqrt 4) i) (sqrt 1.0)))

simplify1.9m

Calls
1013 calls:
Slowest
920.0ms
(* (/ (* (* i i) i) (* (* (+ (* (sqrt 4) i) (sqrt 1.0)) (+ (* (sqrt 4) i) (sqrt 1.0))) (+ (* (sqrt 4) i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* (- (* (sqrt 4) i) (sqrt 1.0)) 4) (* (- (* (sqrt 4) i) (sqrt 1.0)) 4)) (* (- (* (sqrt 4) i) (sqrt 1.0)) 4))))
896.0ms
(* 1 (/ i (* (- (* (sqrt 4) i) (sqrt 1.0)) (* (cbrt 4) (cbrt 4)))))
751.0ms
(* (/ (* (* i i) i) (* (* (+ (* (sqrt 4) i) (sqrt 1.0)) (+ (* (sqrt 4) i) (sqrt 1.0))) (+ (* (sqrt 4) i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* (- (* (sqrt 4) i) (sqrt 1.0)) (- (* (sqrt 4) i) (sqrt 1.0))) (- (* (sqrt 4) i) (sqrt 1.0))) (* (* 4 4) 4))))
724.0ms
(* (* (* (/ i (+ (* (sqrt 4) i) (sqrt 1.0))) (/ i (+ (* (sqrt 4) i) (sqrt 1.0)))) (/ i (+ (* (sqrt 4) i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* (- (* (sqrt 4) i) (sqrt 1.0)) 4) (* (- (* (sqrt 4) i) (sqrt 1.0)) 4)) (* (- (* (sqrt 4) i) (sqrt 1.0)) 4))))
594.0ms
(* (* (* (/ i (+ (* (sqrt 4) i) (sqrt 1.0))) (/ i (+ (* (sqrt 4) i) (sqrt 1.0)))) (/ i (+ (* (sqrt 4) i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (* (- (* (sqrt 4) i) (sqrt 1.0)) (- (* (sqrt 4) i) (sqrt 1.0))) (- (* (sqrt 4) i) (sqrt 1.0))) (* (* 4 4) 4))))

prune6.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes18.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch3.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8000×body80valid
234.0ms8000×pre80true