Details

Time bar (total: 42.3s)

sample99.0ms

Algorithm
intervals
Results
43.0ms69×body640valid
18.0ms129×body80valid
11.0ms28×body320valid
10.0ms15×body1280valid
4.0ms15×body160valid

simplify106.0ms

Calls
1 calls:
Slowest
106.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize21.0ms

Local error

Found 4 expressions with local error:

2.0b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
0.0b
(- (/ 1 (+ x 1)) (/ 2 x))
0.0b
(/ 1 (- x 1))
0.0b
(/ 1 (+ x 1))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
48×prod-diff
45×*-un-lft-identity
32×add-sqr-sqrt
30×div-inv
28×add-cube-cbrt
26×associate-+l+
22×associate-/r/
11×flip3-+ flip-+ add-log-exp
8×distribute-lft-out--
6×pow1 associate-/r* fma-def fma-neg add-exp-log distribute-lft-out
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×flip3-- frac-add flip--
2×rec-exp clear-num sum-log sub-neg frac-2neg diff-log frac-sub pow-flip inv-pow difference-of-squares
1×+-commutative associate-+l-
Calls
4 calls:
Slowest
40.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
14.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
2.0ms
(/ 1 (+ x 1))
2.0ms
(/ 1 (- x 1))

series186.0ms

Calls
4 calls:
Slowest
127.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
24.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
20.0ms
(/ 1 (- x 1))
14.0ms
(/ 1 (+ x 1))

simplify12.3s

Calls
127 calls:
Slowest
525.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- x 1)) (* (+ (/ 1 (+ x 1)) (/ 2 x)) 1))
488.0ms
(* (* (+ x 1) x) (- x 1))
432.0ms
(* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (- x 1))
422.0ms
(* (+ (/ 1 (+ x 1)) (/ 2 x)) (- x 1))
315.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (sqrt (/ 2 x)) (sqrt (/ 2 x)))))

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 4 expressions with local error:

60.4b
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
2.0b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1))))
0.6b
(cbrt (/ 2 x))
0.6b
(cbrt (/ 2 x))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
26×associate-+l+
24×prod-diff
19×add-sqr-sqrt div-inv
17×add-cube-cbrt
16×add-log-exp
15×distribute-lft-out
8×cbrt-prod flip3-+ associate-/r/ flip-+ distribute-lft-out--
6×sum-log fma-def frac-add
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×cbrt-div flip3-- pow1/3 diff-log frac-sub flip--
1×+-commutative associate-+r+ sub-neg associate-+l- fma-udef difference-of-squares
Calls
4 calls:
Slowest
84.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1))))
1.0ms
(cbrt (/ 2 x))
1.0ms
(cbrt (/ 2 x))
1.0ms
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))

series2.0s

Calls
4 calls:
Slowest
1.1s
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
340.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1))))
302.0ms
(cbrt (/ 2 x))
274.0ms
(cbrt (/ 2 x))

simplify11.7s

Calls
78 calls:
Slowest
998.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (+ (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))))) (* (+ (/ 1 (+ x 1)) (/ 2 x)) (+ (pow (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) 3) (pow (/ 1 (- x 1)) 3))))
849.0ms
(+ (* (- (pow (/ 1 (+ x 1)) 3) (pow (/ 2 x) 3)) (+ (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))))) (* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (+ (pow (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) 3) (pow (/ 1 (- x 1)) 3))))
450.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (+ (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))))) (* (* (+ x 1) x) (+ (pow (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) 3) (pow (/ 1 (- x 1)) 3))))
436.0ms
(* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (+ (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1))))))
391.0ms
(+ (* (- (pow (/ 1 (+ x 1)) 3) (pow (/ 2 x) 3)) (- (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))) (* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (- (* (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))) (* (/ 1 (- x 1)) (/ 1 (- x 1))))))

prune1.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 4 expressions with local error:

29.4b
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
0.6b
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
0.6b
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
0.6b
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
16×*-un-lft-identity
13×add-sqr-sqrt
9×cbrt-div
7×add-cube-cbrt
6×distribute-lft-out--
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow1/3 frac-sub div-inv flip-- difference-of-squares
1×fma-udef
Calls
4 calls:
Slowest
4.0ms
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
4.0ms
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
3.0ms
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
0.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))

series481.0ms

Calls
4 calls:
Slowest
204.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
97.0ms
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
91.0ms
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))
89.0ms
(cbrt (- (/ 1 (+ x 1)) (/ 2 x)))

simplify5.0s

Calls
39 calls:
Slowest
493.0ms
(cbrt (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))))
492.0ms
(- (+ (* (pow (/ 1 (pow x 5)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (* (pow (/ 1 (pow x 2)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (/ 1 (pow x 2)) (/ 1 x)))) (* (pow (/ 1 (pow x 8)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))))
444.0ms
(cbrt (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))))
402.0ms
(cbrt (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))))
306.0ms
(cbrt (- (pow (/ 1 (+ x 1)) 3) (pow (/ 2 x) 3)))

prune706.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 4 expressions with local error:

29.4b
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
29.4b
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
29.4b
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
1.8b
(cbrt (fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod fma-udef
1×pow1/3
Calls
4 calls:
Slowest
1.0ms
(cbrt (fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1))))
0.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
0.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
0.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))

series745.0ms

Calls
4 calls:
Slowest
217.0ms
(cbrt (fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1))))
183.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
177.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))
167.0ms
(fma (* (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x)))) (cbrt (- (/ 1 (+ x 1)) (/ 2 x))) (/ 1 (- x 1)))

simplify3.4s

Calls
15 calls:
Slowest
434.0ms
(- (+ (pow (* (pow (/ 1 (pow x 2)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) 1/3) (+ (* 1/3 (* (pow (/ 1 (pow x 11)) 1/9) (pow (exp (* 1/3 (+ (log (/ 1 x)) (log -1)))) 1/3))) (+ (* 1/9 (* (pow (/ 1 (pow x 14)) 1/9) (pow (/ 1 (pow (exp (* 1/3 (+ (log (/ 1 x)) (log -1)))) 2)) 1/3))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/9) (pow (/ 1 (pow (exp (* 1/3 (+ (log (/ 1 x)) (log -1)))) 2)) 1/3)))))) (+ (* 1/9 (* (pow (/ 1 (pow x 8)) 1/9) (pow (/ 1 (pow (exp (* 1/3 (+ (log (/ 1 x)) (log -1)))) 5)) 1/3))) (* 4/9 (* (pow (/ 1 (pow x 20)) 1/9) (pow (exp (* 1/3 (+ (log (/ 1 x)) (log -1)))) 1/3)))))
412.0ms
(- (+ (* (pow (/ 1 (pow x 5)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (* (pow (/ 1 (pow x 2)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (/ 1 (pow x 2)) (/ 1 x)))) (* (pow (/ 1 (pow x 8)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))))
406.0ms
(- (+ (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 1/3) (* 1/6 (* (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (* (exp (* 1/3 (- (log -2) (log x)))) (pow x 2))) (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 2)) 1/3)))) (+ (* 1/9 (* (pow x 2) (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 5)) 1/3))) (+ (* 1/9 (* (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (* (exp (* 1/3 (- (log -2) (log x)))) (pow x 2))) (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 5)) 1/3))) (+ (* 1/6 (* (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (* (exp (* 1/3 (- (log -2) (log x)))) x)) (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 2)) 1/3))) (+ (* 1/3 (* x (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 2)) 1/3))) (+ (* 1/36 (* (* (pow (exp (* 1/3 (- (log 4) (* 2 (log x))))) 2) (* (pow (exp (* 1/3 (- (log -2) (log x)))) 2) (pow x 2))) (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 5)) 1/3))) (* 1/3 (* (pow x 2) (pow (/ 1 (pow (- (* (exp (* 1/3 (- (log 4) (* 2 (log x))))) (exp (* 1/3 (- (log -2) (log x))))) 1) 2)) 1/3)))))))))
394.0ms
(- (+ (* (pow (/ 1 (pow x 5)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (* (pow (/ 1 (pow x 2)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (/ 1 (pow x 2)) (/ 1 x)))) (* (pow (/ 1 (pow x 8)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))))
372.0ms
(- (+ (* (pow (/ 1 (pow x 5)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (* (pow (/ 1 (pow x 2)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))) (+ (/ 1 (pow x 2)) (/ 1 x)))) (* (pow (/ 1 (pow x 8)) 1/3) (exp (* 1/3 (+ (log (/ 1 x)) (log -1))))))

prune582.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes68.0ms

Accuracy

99.3% (0.2b remaining)

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

bsearch127.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
892.0ms1916×body640valid
349.0ms4190×body80valid
293.0ms520×body1280valid
232.0ms886×body320valid
89.0ms488×body160valid