Details

Time bar (total: 1.7m)

sample69.0ms

Algorithm
intervals
Results
23.0ms59×body640valid
12.0ms131×body80valid
12.0ms23×body1280valid
9.0ms27×body320valid
3.0ms16×body160valid

simplify112.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.9b

localize33.0ms

Local error

Found 4 expressions with local error:

2.1b
(+ (- (/ 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))

rewrite56.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
45.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
7.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
1.0ms
(/ 1 (- x 1))
1.0ms
(/ 1 (+ x 1))

series98.0ms

Calls
4 calls:
Slowest
57.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
18.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
13.0ms
(/ 1 (+ x 1))
11.0ms
(/ 1 (- x 1))

simplify12.3s

Calls
127 calls:
Slowest
469.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- x 1)) (* (+ (/ 1 (+ x 1)) (/ 2 x)) 1))
454.0ms
(* (* (+ x 1) x) (- x 1))
380.0ms
(* (+ (/ 1 (+ x 1)) (/ 2 x)) (- x 1))
363.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))))
361.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (sqrt (/ 2 x)) (sqrt (/ 2 x)))))

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

59.2b
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
2.1b
(+ (- (/ 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))

rewrite67.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
62.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))
0.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)))))
330.0ms
(cbrt (/ 2 x))
290.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))))
290.0ms
(cbrt (/ 2 x))

simplify10.8s

Calls
78 calls:
Slowest
859.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))))
622.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))))
611.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))))
409.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))))))
405.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.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

59.2b
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
59.2b
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
59.2b
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
14.7b
(/ (- (* (- (/ 1 (+ x 1)) (/ 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))))) (/ 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)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
192×frac-sub
143×*-un-lft-identity
132×frac-times
122×associate-/l/
93×flip3-+ flip-+
75×distribute-lft-out--
68×flip3-- flip--
54×associate-*l/ associate-*r/
52×times-frac
33×add-sqr-sqrt
31×div-inv
30×distribute-lft-out
23×add-cube-cbrt
19×difference-of-squares
13×associate-/r*
8×associate-/r/
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×fma-udef
1×cbrt-undiv clear-num frac-2neg div-sub div-exp
Calls
4 calls:
Slowest
112.0ms
(/ (- (* (- (/ 1 (+ x 1)) (/ 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))))) (/ 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)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))))
0.0ms
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
0.0ms
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
0.0ms
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))

series4.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)))))
1.1s
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
1.0s
(fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x)))))
835.0ms
(/ (- (* (- (/ 1 (+ x 1)) (/ 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))))) (/ 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)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1)))))

simplify1.1m

Calls
265 calls:
Slowest
1.1s
(- (* (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- (* 1 x) (* (+ x 1) 2))) (- (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)) (* (+ x 1) 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))))))
938.0ms
(/ (* (* (- (* (- (/ 1 (+ x 1)) (/ 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))))) (/ 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)) (- (/ 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))) (+ (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)) (- (/ 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))) (+ (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)) (+ (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)) (+ (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)) (+ (fma (- (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))) (* (cbrt (/ 2 x)) (* (cbrt (/ 2 x)) (cbrt (/ 2 x))))) (/ 1 (- x 1))))))
780.0ms
(- (* (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (* 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))))) (- (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)) (- (* (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)))))))
737.0ms
(- (* (* (- (* 1 x) (* (+ x 1) 2)) (- (/ 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)))) (* (* (+ x 1) 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))))))
717.0ms
(- (* (* (- (* 1 x) (* (+ x 1) 2)) (- (/ 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))))) (+ (* (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)) (+ (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)))))

prune2.9s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2 (* x x))
0.3b
(/ 2 (pow x 5))
0.1b
(/ 2 (pow x 7))
0.1b
(/ (/ 2 (* x x)) x)

rewrite5.0ms

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

series67.0ms

Calls
4 calls:
Slowest
21.0ms
(/ 2 (pow x 5))
21.0ms
(/ 2 (pow x 7))
14.0ms
(/ (/ 2 (* x x)) x)
10.0ms
(/ 2 (* x x))

simplify101.0ms

Calls
20 calls:
Slowest
8.0ms
(/ 2 (pow x 3))
8.0ms
(/ 2 (pow x 3))
8.0ms
(/ 2 (pow x 3))
8.0ms
(* (cbrt (/ 2 (* x x))) (cbrt (/ 2 (* x x))))
7.0ms
(/ 2 (pow x 2))

prune489.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes37.0ms

Accuracy

99.1% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 19.2b

bsearch137.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
598.0ms4218×body80valid
529.0ms1868×body640valid
223.0ms554×body1280valid
185.0ms916×body320valid
94.0ms445×body160valid