Details

Time bar (total: 36.0s)

sample53.0ms

Algorithm
intervals
Results
16.0ms51×body640valid
12.0ms142×body80valid
6.0ms27×body320valid
6.0ms16×body1280valid
3.0ms20×body160valid

simplify88.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.5b

localize26.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))

rewrite64.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)))
15.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
2.0ms
(/ 1 (- x 1))
2.0ms
(/ 1 (+ x 1))

series78.0ms

Calls
4 calls:
Slowest
44.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
18.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
10.0ms
(/ 1 (- x 1))
6.0ms
(/ 1 (+ x 1))

simplify12.3s

Calls
127 calls:
Slowest
522.0ms
(* (* (+ x 1) x) (- x 1))
454.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- x 1)) (* (+ (/ 1 (+ x 1)) (/ 2 x)) 1))
396.0ms
(* (+ (/ 1 (+ x 1)) (/ 2 x)) (- x 1))
343.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (/ 1 x) 2)))
340.0ms
(fma (/ 1 (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))) (- (* (/ 2 x) 1)))

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

13.4b
(/ (fma -1 x -2) (fma x x x))
2.1b
(+ (/ (fma -1 x -2) (fma x x x)) (/ 1 (- x 1)))
0.0b
(/ 1 (- x 1))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
19×add-sqr-sqrt add-cube-cbrt
18×times-frac
13×fma-def
6×associate-/r* add-exp-log
5×add-cbrt-cube add-log-exp
4×pow1 div-inv
3×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l*
2×clear-num frac-2neg associate-/r/ distribute-lft-out
1×cbrt-undiv +-commutative rec-exp sum-log flip3-+ flip3-- div-exp frac-add flip-+ pow-flip flip-- inv-pow
Calls
3 calls:
Slowest
18.0ms
(+ (/ (fma -1 x -2) (fma x x x)) (/ 1 (- x 1)))
7.0ms
(/ (fma -1 x -2) (fma x x x))
2.0ms
(/ 1 (- x 1))

series96.0ms

Calls
3 calls:
Slowest
65.0ms
(+ (/ (fma -1 x -2) (fma x x x)) (/ 1 (- x 1)))
24.0ms
(/ (fma -1 x -2) (fma x x x))
7.0ms
(/ 1 (- x 1))

simplify3.3s

Calls
57 calls:
Slowest
352.0ms
(/ (* (* (fma -1 x -2) (fma -1 x -2)) (fma -1 x -2)) (* (* (fma x x x) (fma x x x)) (fma x x x)))
300.0ms
(+ (* (fma -1 x -2) (- x 1)) (* (fma x x x) 1))
184.0ms
(+ (* 2 (/ 1 (pow x 7))) (+ (* 2 (/ 1 (pow x 3))) (* 2 (/ 1 (pow x 5)))))
182.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))
177.0ms
(+ (* 2 (/ 1 (pow x 7))) (+ (* 2 (/ 1 (pow x 3))) (* 2 (/ 1 (pow x 5)))))

prune899.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

15.5b
(- (+ (- (* x x) x) 2) (- (* x x) x))
0.1b
(* (fma x x x) (- x 1))
0.0b
(/ (- (+ (- (* x x) x) 2) (- (* x x) x)) (* (fma x x x) (- x 1)))
0.0b
(- (* x x) x)

rewrite337.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
11×add-cbrt-cube add-exp-log
9×flip3-- prod-diff flip--
8×frac-sub
6×pow1 add-log-exp associate-/l/
5×sub-neg times-frac associate-/l*
4×expm1-log1p-u flip3-+ fma-neg associate-*r/ flip-+ insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l* distribute-lft-out-- difference-of-squares
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod associate--r+
1×associate--l- clear-num associate-/r* frac-2neg diff-log div-sub pow-prod-down associate--l+ *-commutative associate-+l- div-inv associate--r-
Calls
4 calls:
Slowest
202.0ms
(/ (- (+ (- (* x x) x) 2) (- (* x x) x)) (* (fma x x x) (- x 1)))
126.0ms
(- (+ (- (* x x) x) 2) (- (* x x) x))
5.0ms
(* (fma x x x) (- x 1))
2.0ms
(- (* x x) x)

series122.0ms

Calls
4 calls:
Slowest
58.0ms
(* (fma x x x) (- x 1))
32.0ms
(- (* x x) x)
30.0ms
(/ (- (+ (- (* x x) x) 2) (- (* x x) x)) (* (fma x x x) (- x 1)))
2.0ms
(- (+ (- (* x x) x) 2) (- (* x x) x))

simplify13.0s

Calls
89 calls:
Slowest
1.0s
(fma (* (cbrt (+ (- (* x x) x) 2)) (cbrt (+ (- (* x x) x) 2))) (cbrt (+ (- (* x x) x) 2)) (- (* (- (* x x) x) 1)))
461.0ms
(/ (* (* (- (+ (- (* x x) x) 2) (- (* x x) x)) (- (+ (- (* x x) x) 2) (- (* x x) x))) (- (+ (- (* x x) x) 2) (- (* x x) x))) (* (* (* (fma x x x) (fma x x x)) (fma x x x)) (* (* (- x 1) (- x 1)) (- x 1))))
423.0ms
(/ (* (* (- (+ (- (* x x) x) 2) (- (* x x) x)) (- (+ (- (* x x) x) 2) (- (* x x) x))) (- (+ (- (* x x) x) 2) (- (* x x) x))) (* (* (* (fma x x x) (- x 1)) (* (fma x x x) (- x 1))) (* (fma x x x) (- x 1))))
400.0ms
(- (pow (+ (- (* x x) x) 2) 3) (pow (- (* x x) x) 3))
371.0ms
(fma (- (- (* x x) x)) 1 (* (- (* x x) x) 1))

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize3.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube associate-*r/ add-exp-log add-cube-cbrt
3×associate-*r* associate-*l*
2×distribute-rgt-in expm1-log1p-u sub-neg distribute-lft-in flip3-- associate-/r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
1×clear-num associate-/r* frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod div-inv
Calls
2 calls:
Slowest
8.0ms
(* (fma x x x) (- x 1))
2.0ms
(/ 2 (* (fma x x x) (- x 1)))

series89.0ms

Calls
2 calls:
Slowest
52.0ms
(* (fma x x x) (- x 1))
37.0ms
(/ 2 (* (fma x x x) (- x 1)))

simplify905.0ms

Calls
23 calls:
Slowest
153.0ms
(+ (* 2 (/ 1 (pow x 7))) (+ (* 2 (/ 1 (pow x 3))) (* 2 (/ 1 (pow x 5)))))
138.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))
133.0ms
(+ (* 2 (/ 1 (pow x 7))) (+ (* 2 (/ 1 (pow x 3))) (* 2 (/ 1 (pow x 5)))))
103.0ms
(* (* (* (fma x x x) (fma x x x)) (fma x x x)) (* (* (- x 1) (- x 1)) (- x 1)))
50.0ms
(* (fma x x x) (- x 1))

prune315.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
703.0ms4141×body80valid
617.0ms1878×body640valid
251.0ms952×body320valid
238.0ms533×body1280valid
74.0ms498×body160valid