Details

Time bar (total: 1.2m)

sample38.0ms

Algorithm
intervals
Results
24.0ms256×body80valid
6.0ms256×pre80true

simplify270.0ms

Calls
1 calls:
Slowest
270.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: 13.4b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
8×pow1
7×prod-exp cbrt-unprod
5×add-sqr-sqrt add-log-exp
4×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
3×associate-*l* pow-prod-down insert-posit16
2×flip3-- associate-*l/ associate-/r/ flip--
1×clear-num associate-/r* sub-neg frac-2neg times-frac diff-log associate-*r* *-commutative div-inv associate-/l* unswap-sqr
Calls
3 calls:
Slowest
67.0ms
(/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))
32.0ms
(- (* 4 (* i i)) 1.0)
18.0ms
(* 4 (* i i))

series227.0ms

Calls
3 calls:
Slowest
106.0ms
(- (* 4 (* i i)) 1.0)
94.0ms
(/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))
27.0ms
(* 4 (* i i))

simplify4.7s

Calls
32 calls:
Slowest
574.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)))
508.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)))
472.0ms
(- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
395.0ms
(/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4)))
373.0ms
(/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4)))

prune449.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

12.9b
(/ i (- (* 4 (* i i)) 1.0))
0.1b
(* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4))
0.0b
(- (* 4 (* i i)) 1.0)
0.0b
(* 4 (* i i))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
31×times-frac
27×*-un-lft-identity add-cube-cbrt
23×add-cbrt-cube add-exp-log
18×associate-*l*
14×associate-*r*
11×pow1
7×prod-exp cbrt-unprod
6×add-log-exp
5×cbrt-undiv div-exp unswap-sqr
4×pow-prod-down associate-/r/ insert-posit16
3×associate-/r* flip3-- div-inv flip-- associate-/l*
2×*-commutative
1×frac-times clear-num sub-neg frac-2neg diff-log associate-*l/ associate-*r/
Calls
4 calls:
Slowest
90.0ms
(* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4))
24.0ms
(/ i (- (* 4 (* i i)) 1.0))
22.0ms
(* 4 (* i i))
20.0ms
(- (* 4 (* i i)) 1.0)

series333.0ms

Calls
4 calls:
Slowest
119.0ms
(* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4))
117.0ms
(/ i (- (* 4 (* i i)) 1.0))
63.0ms
(- (* 4 (* i i)) 1.0)
34.0ms
(* 4 (* i i))

simplify7.6s

Calls
96 calls:
Slowest
703.0ms
(* (* (* (/ i (- (* 4 (* i i)) 1.0)) (/ i (- (* 4 (* i i)) 1.0))) (/ i (- (* 4 (* i i)) 1.0))) (* (* (/ i 4) (/ i 4)) (/ i 4)))
466.0ms
(- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
407.0ms
(/ i (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)))
399.0ms
(+ (* 0.015625 (/ 1 (pow i 5))) (+ (* 0.0625 (/ 1 (pow i 3))) (* 1/4 (/ 1 i))))
380.0ms
(+ (* 0.015625 (/ 1 (pow i 5))) (+ (* 0.0625 (/ 1 (pow i 3))) (* 1/4 (/ 1 i))))

prune928.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
44×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/l*
7×add-cbrt-cube add-exp-log
5×div-inv
4×add-log-exp
3×cbrt-undiv associate-/r* div-exp
2×pow1 flip3-- associate-/r/ insert-posit16 flip--
1×clear-num sub-neg frac-2neg diff-log associate-/l/
Calls
2 calls:
Slowest
24.0ms
(/ (/ i 4) (- (* i 4) (/ 1.0 i)))
8.0ms
(- (* i 4) (/ 1.0 i))

series226.0ms

Calls
2 calls:
Slowest
117.0ms
(/ (/ i 4) (- (* i 4) (/ 1.0 i)))
108.0ms
(- (* i 4) (/ 1.0 i))

simplify6.9s

Calls
105 calls:
Slowest
487.0ms
(/ (* (* (/ i 4) (/ i 4)) (/ i 4)) (* (* (- (* i 4) (/ 1.0 i)) (- (* i 4) (/ 1.0 i))) (- (* i 4) (/ 1.0 i))))
468.0ms
(- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
405.0ms
(/ (/ (* (cbrt i) (cbrt i)) (* (cbrt 4) (cbrt 4))) (* (cbrt (- (* i 4) (/ 1.0 i))) (cbrt (- (* i 4) (/ 1.0 i)))))
227.0ms
(/ (/ (* (cbrt i) (cbrt i)) (* (cbrt 4) (cbrt 4))) (sqrt (- (* i 4) (/ 1.0 i))))
199.0ms
(+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))

prune751.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

21.4b
(* (/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0))) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4)))
0.1b
(/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)))
0.1b
(* (* 4 (* i i)) (* 4 (* i i)))
0.1b
(* (* i (* i i)) (* i (* i i)))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
383×pow1
142×pow-prod-down
125×pow-prod-up
99×add-cbrt-cube add-exp-log
64×prod-exp cbrt-unprod
39×pow-sqr
24×pow-plus
19×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
17×associate-*l*
16×pow2
14×cube-unmult
9×frac-times
7×associate-*r/
6×cbrt-undiv div-exp
5×associate-*l/
4×flip3-+ associate-/r/ flip-+ insert-posit16 add-log-exp
3×associate-/r* associate-*r* *-commutative associate-/l*
2×flip3-- swap-sqr div-inv flip--
1×clear-num frac-2neg
Calls
4 calls:
Slowest
1.7s
(* (/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0))) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4)))
416.0ms
(/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)))
82.0ms
(* (* i (* i i)) (* i (* i i)))
81.0ms
(* (* 4 (* i i)) (* 4 (* i i)))

series688.0ms

Calls
4 calls:
Slowest
381.0ms
(/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)))
191.0ms
(* (/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0))) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4)))
70.0ms
(* (* i (* i i)) (* i (* i i)))
47.0ms
(* (* 4 (* i i)) (* 4 (* i i)))

simplify40.2s

Calls
265 calls:
Slowest
1.5s
(* (/ (* (* i i) i) (* (* (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)) (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0))) (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)))) (* (* (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4)) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4))) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4))))
1.4s
(* (* (* (/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0))) (/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)))) (/ i (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)))) (* (* (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4)) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4))) (* (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (/ i 4))))
975.0ms
(* (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)) (+ (* (* (* 4 (* i i)) (* 4 (* i i))) (* (* 4 (* i i)) (* 4 (* i i)))) (- (* (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0)) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (* (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))))))
874.0ms
(* (- (* 64 (* (* i (* i i)) (* i (* i i)))) (* (* 1.0 1.0) 1.0)) (* (+ (* (* (* 4 (* i i)) (* 4 (* i i))) (* (* 4 (* i i)) (* 4 (* i i)))) (- (* (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0)) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) (* (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))))) 4))
801.0ms
(* (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i))) (* (* (* i (* i i)) (* i (* i i))) (* i (* i i))))

prune2.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes38.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.3s8000×body80valid
262.0ms8000×pre80true