Details

Time bar (total: 21.4s)

sample53.0ms

Algorithm
intervals
Results
21.0ms61×body640valid
10.0ms135×body80valid
10.0ms41×body320valid
3.0ms19×body160valid

simplify36.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.9b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
24×prod-diff
18×*-un-lft-identity
16×add-sqr-sqrt div-inv
14×add-cube-cbrt
12×associate-/r/
6×flip3-+ fma-neg flip-+
4×distribute-lft-out-- add-log-exp
3×pow1 associate-/r* add-exp-log
2×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
1×rec-exp clear-num sub-neg frac-2neg flip3-- diff-log frac-sub pow-flip flip-- inv-pow difference-of-squares
Calls
2 calls:
Slowest
17.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
2.0ms
(/ 1 (+ x 1))

series58.0ms

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

simplify4.7s

Calls
73 calls:
Slowest
302.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x)))))
297.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (/ 1 x) 1)))
274.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (cbrt (/ 1 x)) (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))))
259.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (/ 1 x) 1)))
230.0ms
(fma (/ 1 (- (* x x) (* 1 1))) (- x 1) (- (* (/ 1 x) 1)))

prune567.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.0ms

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

series46.0ms

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

simplify363.0ms

Calls
6 calls:
Slowest
124.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
124.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
99.0ms
(- 1 (+ x (/ 1 x)))
5.0ms
(cbrt (fma x x x))
5.0ms
(sqrt (fma x x x))

prune119.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

15.3b
(cbrt (/ -1 (fma x x x)))
15.3b
(cbrt (/ -1 (fma x x x)))
15.3b
(cbrt (/ -1 (fma x x x)))
0.5b
(* (cbrt (/ -1 (fma x x x))) (cbrt (/ -1 (fma x x x))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
20×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×cbrt-div pow1/3 associate-*r* associate-*l*
6×add-exp-log
5×div-inv
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Calls
4 calls:
Slowest
6.0ms
(* (cbrt (/ -1 (fma x x x))) (cbrt (/ -1 (fma x x x))))
1.0ms
(cbrt (/ -1 (fma x x x)))
1.0ms
(cbrt (/ -1 (fma x x x)))
1.0ms
(cbrt (/ -1 (fma x x x)))

series408.0ms

Calls
4 calls:
Slowest
150.0ms
(* (cbrt (/ -1 (fma x x x))) (cbrt (/ -1 (fma x x x))))
93.0ms
(cbrt (/ -1 (fma x x x)))
85.0ms
(cbrt (/ -1 (fma x x x)))
80.0ms
(cbrt (/ -1 (fma x x x)))

simplify5.6s

Calls
53 calls:
Slowest
464.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))
453.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))
430.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))
417.0ms
(- (+ (* 2/9 (* (pow (pow x 5) 1/3) (cbrt -1))) (* (pow (/ 1 x) 1/3) (cbrt -1))) (* 1/3 (* (pow (pow x 2) 1/3) (cbrt -1))))
396.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))

prune951.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

15.3b
(cbrt (/ -1 (fma x x x)))
15.3b
(cbrt (/ -1 (fma x x x)))
15.3b
(cbrt (/ -1 (fma x x x)))
15.3b
(cbrt (/ -1 (fma x x x)))

rewrite6.0ms

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

series356.0ms

Calls
4 calls:
Slowest
111.0ms
(cbrt (/ -1 (fma x x x)))
89.0ms
(cbrt (/ -1 (fma x x x)))
80.0ms
(cbrt (/ -1 (fma x x x)))
75.0ms
(cbrt (/ -1 (fma x x x)))

simplify5.5s

Calls
32 calls:
Slowest
705.0ms
(- (+ (* 2/9 (* (pow (pow x 5) 1/3) (cbrt -1))) (* (pow (/ 1 x) 1/3) (cbrt -1))) (* 1/3 (* (pow (pow x 2) 1/3) (cbrt -1))))
479.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))
433.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))
424.0ms
(- (+ (* 2/9 (* (pow (pow x 5) 1/3) (cbrt -1))) (* (pow (/ 1 x) 1/3) (cbrt -1))) (* 1/3 (* (pow (pow x 2) 1/3) (cbrt -1))))
413.0ms
(- (+ (* 2/9 (* (pow (/ 1 (pow x 8)) 1/3) (cbrt -1))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt -1))) (* 1/3 (* (pow (/ 1 (pow x 5)) 1/3) (cbrt -1))))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes19.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
605.0ms1995×body640valid
311.0ms4188×body80valid
261.0ms1216×body320valid
112.0ms601×body160valid