Details

Time bar (total: 5.3m)

sample55.0ms

Algorithm
intervals
Results
17.0ms49×body640valid
13.0ms145×body80valid
12.0ms47×body320valid
3.0ms15×body160valid

simplify41.0ms

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize10.0ms

Local error

Found 2 expressions with local error:

2.2b
(- (/ 1 (+ x 1)) (/ 1 x))
0.0b
(/ 1 (+ x 1))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
426×*-un-lft-identity
366×times-frac
315×add-sqr-sqrt
291×add-cube-cbrt
234×prod-diff
90×frac-sub
70×associate-/r*
60×associate-/l*
58×distribute-lft-out
37×div-inv
30×associate-/r/
20×clear-num frac-2neg
18×fma-neg
15×flip3-+ flip-+
10×distribute-lft-out--
9×difference-of-squares
6×add-exp-log
4×add-cbrt-cube add-log-exp
3×pow1
2×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
1×cbrt-undiv rec-exp sub-neg flip3-- diff-log 1-exp pow-flip flip-- inv-pow
Calls
2 calls:
Slowest
74.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
16.0ms
(/ 1 (+ x 1))

series61.0ms

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

simplify1.4m

Calls
741 calls:
Slowest
637.0ms
(- (* (/ 1 (sqrt (+ x 1))) (- x)) (* (sqrt (+ x 1)) (- 1)))
629.0ms
(- (* (- 1) (/ x 1)) (* (- (+ x 1)) 1))
538.0ms
(fma (/ (sqrt 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt 1) (cbrt (+ x 1))) (- (* (/ (cbrt 1) (sqrt x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt x)))))
421.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (cbrt 1) (cbrt (+ x 1))) (- (* (/ (cbrt 1) (cbrt x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))))
418.0ms
(fma (/ (sqrt 1) (sqrt (+ x 1))) (/ (sqrt 1) (sqrt (+ x 1))) (- (* (/ (cbrt 1) (cbrt x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))))

prune2.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ -1 (fma x x x))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
3×associate-/r* add-cbrt-cube add-exp-log associate-/l*
1×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 log1p-expm1-u div-inv add-log-exp
Calls
1 calls:
Slowest
7.0ms
(/ -1 (fma x x x))

series43.0ms

Calls
1 calls:
Slowest
43.0ms
(/ -1 (fma x x x))

simplify1.4s

Calls
28 calls:
Slowest
278.0ms
(/ (* (* -1 -1) -1) (* (* (fma x x x) (fma x x x)) (fma x x x)))
275.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
241.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
68.0ms
(/ (sqrt -1) (* (cbrt (fma x x x)) (cbrt (fma x x x))))
66.0ms
(/ (* (cbrt -1) (cbrt -1)) (* (cbrt (fma x x x)) (cbrt (fma x x x))))

prune206.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

2.2b
(+ (/ 1 (+ x 1)) (- (/ 1 x)))
0.0b
(/ 1 (+ x 1))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
115×*-un-lft-identity
90×frac-add distribute-neg-frac
70×associate-/r*
61×add-sqr-sqrt add-cube-cbrt
60×associate-/l*
36×times-frac
31×distribute-lft-out
20×clear-num frac-2neg
18×fma-def
10×distribute-rgt-neg-in
7×div-inv
6×add-exp-log add-log-exp
4×add-cbrt-cube associate-/r/
3×pow1 flip3-+ flip-+
2×expm1-log1p-u sum-log div-exp insert-posit16 log1p-expm1-u
1×neg-sub0 cbrt-undiv +-commutative rec-exp associate-+r- 1-exp unsub-neg neg-log pow-flip inv-pow
Calls
2 calls:
Slowest
49.0ms
(+ (/ 1 (+ x 1)) (- (/ 1 x)))
8.0ms
(/ 1 (+ x 1))

series64.0ms

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

simplify20.2s

Calls
261 calls:
Slowest
524.0ms
(+ (* (sqrt 1) (cbrt x)) (* (/ (+ x 1) (sqrt 1)) (- (/ 1 (* (cbrt x) (cbrt x))))))
453.0ms
(+ (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (- x)) (* (cbrt (+ x 1)) (- (- 1))))
447.0ms
(+ (* (* (cbrt 1) (cbrt 1)) (cbrt x)) (* (/ (+ x 1) (cbrt 1)) (- (/ 1 (* (cbrt x) (cbrt x))))))
432.0ms
(+ (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt x)) (* (cbrt (+ x 1)) (- (/ 1 (* (cbrt x) (cbrt x))))))
425.0ms
(+ (* 1 (cbrt x)) (* (/ (+ x 1) 1) (- (/ 1 (* (cbrt x) (cbrt x))))))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

29.6b
(cbrt (* (* (/ -1 (fma x x x)) (/ -1 (fma x x x))) (/ -1 (fma x x x))))
0.3b
(/ -1 (fma x x x))
0.3b
(/ -1 (fma x x x))
0.3b
(/ -1 (fma x x x))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
1719×frac-times
1021×cbrt-div
926×associate-/l*
915×associate-/r*
746×add-sqr-sqrt
680×*-un-lft-identity
669×add-cube-cbrt
316×clear-num
305×frac-2neg
191×associate-*l/
99×associate-*r/
97×times-frac
84×cbrt-prod
61×associate-*l*
30×unswap-sqr
26×associate-*r*
22×un-div-inv
17×swap-sqr
10×add-cbrt-cube add-exp-log
8×div-inv
5×*-commutative
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×pow3 rem-cbrt-cube
1×pow1/3
Calls
4 calls:
Slowest
85.0ms
(cbrt (* (* (/ -1 (fma x x x)) (/ -1 (fma x x x))) (/ -1 (fma x x x))))
5.0ms
(/ -1 (fma x x x))
4.0ms
(/ -1 (fma x x x))
4.0ms
(/ -1 (fma x x x))

series184.0ms

Calls
4 calls:
Slowest
73.0ms
(cbrt (* (* (/ -1 (fma x x x)) (/ -1 (fma x x x))) (/ -1 (fma x x x))))
42.0ms
(/ -1 (fma x x x))
37.0ms
(/ -1 (fma x x x))
32.0ms
(/ -1 (fma x x x))

simplify3.3m

Calls
1192 calls:
Slowest
1.1s
(cbrt (* (* (/ -1 (fma x x x)) (sqrt -1)) (/ -1 (fma x x x))))
995.0ms
(cbrt (sqrt (* (* (/ -1 (fma x x x)) (/ -1 (fma x x x))) (/ -1 (fma x x x)))))
981.0ms
(cbrt (* (* 1 (* (cbrt -1) (cbrt -1))) (/ -1 (* (cbrt (fma x x x)) (cbrt (fma x x x))))))
896.0ms
(cbrt (* (cbrt (* (* (/ -1 (fma x x x)) (/ -1 (fma x x x))) (/ -1 (fma x x x)))) (cbrt (* (* (/ -1 (fma x x x)) (/ -1 (fma x x x))) (/ -1 (fma x x x))))))
848.0ms
(cbrt (* (* (/ -1 (sqrt (fma x x x))) (/ -1 (fma x x x))) (/ -1 (sqrt (fma x x x)))))

prune10.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes58.0ms

Accuracy

0% (0.4b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
631.0ms2029×body640valid
335.0ms4080×body80valid
273.0ms1270×body320valid
110.0ms623×body160valid