Details

Time bar (total: 8.1m)

sample54.0ms

Algorithm
intervals
Results
17.0ms145×body80valid
15.0ms49×body640valid
10.0ms47×body320valid
2.0ms15×body160valid

simplify28.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
952×*-un-lft-identity
796×add-sqr-sqrt
783×times-frac
500×add-cube-cbrt
486×prod-diff
145×difference-of-squares
133×associate-/r*
130×frac-sub
107×distribute-lft-out
98×associate-/r/
91×distribute-lft-out--
75×associate-/l*
68×difference-of-sqr-1
52×div-inv
30×flip-+
29×flip3-+
25×clear-num frac-2neg
21×flip--
20×flip3--
18×fma-neg
11×add-exp-log
7×add-cbrt-cube
5×pow1 add-log-exp
4×div-exp
3×expm1-log1p-u insert-posit16 log1p-expm1-u
2×cbrt-undiv rec-exp 1-exp pow-flip inv-pow
1×sub-neg diff-log
Calls
3 calls:
Slowest
83.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
9.0ms
(/ 1 (+ x 1))
8.0ms
(/ 1 (- x 1))

series136.0ms

Calls
3 calls:
Slowest
95.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
25.0ms
(/ 1 (- x 1))
16.0ms
(/ 1 (+ x 1))

simplify4.9m

Calls
1399 calls:
Slowest
987.0ms
(- (* (- 1) (/ (- x 1) 1)) (* (- (+ x 1)) 1))
967.0ms
(- (* (- 1) (/ (- x 1) 1)) (* (- (+ x 1)) 1))
937.0ms
(- (* (* (cbrt 1) (cbrt 1)) (- (- x 1))) (* (/ (+ x 1) (cbrt 1)) (- 1)))
923.0ms
(* (- (+ x 1)) (- x 1))
905.0ms
(- (* (- 1) (- x 1)) (* (- (+ x 1)) (/ 1 1)))

prune5.6s

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
(/ -2 (fma x x -1))

rewrite4.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
4.0ms
(/ -2 (fma x x -1))

series38.0ms

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

simplify1.6s

Calls
28 calls:
Slowest
269.0ms
(/ (* (* -2 -2) -2) (* (* (fma x x -1) (fma x x -1)) (fma x x -1)))
264.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
204.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
114.0ms
(/ (* (cbrt -2) (cbrt -2)) (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
113.0ms
(+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 2))

prune244.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

15.1b
(cbrt (/ -2 (fma x x -1)))
15.1b
(cbrt (/ -2 (fma x x -1)))
15.1b
(cbrt (/ -2 (fma x x -1)))
0.3b
(/ -2 (fma x x -1))

rewrite21.0ms

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

series738.0ms

Calls
4 calls:
Slowest
246.0ms
(cbrt (/ -2 (fma x x -1)))
226.0ms
(cbrt (/ -2 (fma x x -1)))
211.0ms
(cbrt (/ -2 (fma x x -1)))
55.0ms
(/ -2 (fma x x -1))

simplify5.8s

Calls
103 calls:
Slowest
302.0ms
(/ (* (* -2 -2) -2) (* (* (fma x x -1) (fma x x -1)) (fma x x -1)))
264.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
262.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
209.0ms
(+ (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -2)) (+ (* 1/3 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -2))) (* 2/9 (* (pow (/ 1 (pow x 14)) 1/3) (cbrt -2)))))
206.0ms
(+ (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -2)) (+ (* 1/3 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -2))) (* 2/9 (* (pow (/ 1 (pow x 14)) 1/3) (cbrt -2)))))

prune1.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

8.8b
(cbrt (* (* (/ -2 (fma x x -1)) (/ -2 (fma x x -1))) (/ -2 (fma x x -1))))
0.3b
(/ -2 (fma x x -1))
0.3b
(/ -2 (fma x x -1))
0.3b
(/ -2 (fma x x -1))

rewrite190.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
92.0ms
(cbrt (* (* (/ -2 (fma x x -1)) (/ -2 (fma x x -1))) (/ -2 (fma x x -1))))
7.0ms
(/ -2 (fma x x -1))
7.0ms
(/ -2 (fma x x -1))
7.0ms
(/ -2 (fma x x -1))

series260.0ms

Calls
4 calls:
Slowest
111.0ms
(cbrt (* (* (/ -2 (fma x x -1)) (/ -2 (fma x x -1))) (/ -2 (fma x x -1))))
63.0ms
(/ -2 (fma x x -1))
49.0ms
(/ -2 (fma x x -1))
36.0ms
(/ -2 (fma x x -1))

simplify2.8m

Calls
1192 calls:
Slowest
1.1s
(cbrt (* (* (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1) (* (cbrt -2) (cbrt -2))))
716.0ms
(cbrt (* (* (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1) (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))))
707.0ms
(cbrt (sqrt (* (* (/ -2 (fma x x -1)) (/ -2 (fma x x -1))) (/ -2 (fma x x -1)))))
704.0ms
(cbrt (* (* (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1) (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))))
689.0ms
(cbrt (* (* 1 (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))) (/ -2 (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))))

prune6.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes23.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.2s

Algorithm
intervals
Results
574.0ms2029×body640valid
243.0ms4088×body80valid
189.0ms1268×body320valid
91.0ms615×body160valid