Details

Time bar (total: 3.1m)

sample80.0ms

Algorithm
intervals
Results
28.0ms59×body640valid
17.0ms136×body80valid
10.0ms17×body1280valid
9.0ms26×body320valid
4.0ms18×body160valid

simplify108.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
108.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.2b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite289.0ms

Algorithm
rewrite-expression-head
Rules
743×*-un-lft-identity
715×times-frac
544×add-sqr-sqrt
494×add-cube-cbrt
468×prod-diff
236×associate-+l+
99×distribute-lft-out
72×div-inv
58×associate-/r/
29×flip3-+ flip-+
22×distribute-lft-out--
20×difference-of-squares
18×fma-neg
13×fma-def
12×add-exp-log
11×associate-/r* add-log-exp
8×add-cbrt-cube
6×pow1 associate-/l*
4×expm1-log1p-u difference-of-sqr-1 div-exp insert-posit16 log1p-expm1-u
3×flip3-- frac-add flip--
2×cbrt-undiv rec-exp clear-num sum-log sub-neg frac-2neg diff-log 1-exp frac-sub pow-flip inv-pow
1×+-commutative associate-+l-
Counts
4 → 648
Calls
4 calls:
Slowest
206.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
44.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
8.0ms
(/ 1 (- x 1))
8.0ms
(/ 1 (+ x 1))

series157.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
26.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
15.0ms
(/ 1 (- x 1))
13.0ms
(/ 1 (+ x 1))

simplify1.9m

Counts
879 → 660
Calls
879 calls:
Slowest
789.0ms
(* (* (+ x 1) x) (- x 1))
553.0ms
(fma (/ (sqrt 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt 1) (cbrt (+ x 1))) (- (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
536.0ms
(fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
535.0ms
(fma (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ 1 (cbrt (+ x 1))) (- (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))
527.0ms
(fma 1 (/ 1 (+ x 1)) (- (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))

prune3.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize299.0ms

Local error

Found 4 expressions with local error:

60.2b
(fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
2.2b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (+ (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
353×*-un-lft-identity
329×times-frac
254×add-sqr-sqrt
237×add-cube-cbrt
236×associate-+l+
234×prod-diff
55×distribute-lft-out
38×div-inv
26×associate-/r/
17×flip3-+ flip-+
16×add-log-exp
13×fma-def
10×distribute-lft-out--
6×cbrt-prod sum-log frac-add difference-of-squares
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×flip3-- pow1/3 diff-log frac-sub flip--
1×+-commutative associate-+r+ sub-neg associate-+l- fma-udef
Counts
4 → 322
Calls
4 calls:
Slowest
157.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (+ (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
0.0ms
(fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
686.0ms
(fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
214.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (+ (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))
189.0ms
(cbrt x)
188.0ms
(cbrt x)

simplify39.3s

Counts
291 → 334
Calls
291 calls:
Slowest
604.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (+ (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1)))))) (* (+ (/ 1 (+ x 1)) (/ 2 x)) (+ (pow (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) 3) (pow (/ 1 (- x 1)) 3))))
468.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (+ (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1)))))) (* (* (+ x 1) x) (+ (pow (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) 3) (pow (/ 1 (- x 1)) 3))))
377.0ms
(* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (+ (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))) (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))))
376.0ms
(+ (* (- (pow (/ 1 (+ x 1)) 3) (pow (/ 2 x) 3)) (- (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (/ 1 (- x 1)))) (* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (- (* (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) (fma (- (/ 2 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))) (* (/ 1 (- x 1)) (/ 1 (- x 1))))))
340.0ms
(fma (/ (sqrt 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt 1) (cbrt (+ x 1))) (- (* (/ 2 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))

prune3.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize140.0ms

Local error

Found 4 expressions with local error:

28.9b
(fma (- x (fma x 2 2)) (fma (- (/ 1 (- x 1)) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (/ 1 (- x 1)) (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x)))
19.7b
(* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x))
15.2b
(* (fma x x x) (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))))))
0.6b
(cbrt x)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
8×pow1 add-cbrt-cube add-exp-log
6×associate-*r* associate-*l*
5×fma-udef
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod
2×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×pow1/3
Counts
4 → 71
Calls
4 calls:
Slowest
5.0ms
(* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x))
5.0ms
(* (fma x x x) (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))))))
1.0ms
(cbrt x)
0.0ms
(fma (- x (fma x 2 2)) (fma (- (/ 1 (- x 1)) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (/ 1 (- x 1)) (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x)))

series577.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
237.0ms
(fma (- x (fma x 2 2)) (fma (- (/ 1 (- x 1)) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (/ 1 (- x 1)) (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x)))
177.0ms
(cbrt x)
87.0ms
(* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x))
75.0ms
(* (fma x x x) (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))))))

simplify5.7s

Counts
39 → 83
Calls
39 calls:
Slowest
947.0ms
(* (* (* (fma x x x) (fma x x x)) (fma x x x)) (* (* (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))))) (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))))) (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))))))
552.0ms
(* (fma x x x) (fma (/ 1 (- x 1)) (- (/ 1 (- x 1)) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))))) (* (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))) (- (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x))) (/ 2 (* (* (cbrt x) (cbrt x)) (cbrt x)))))))
471.0ms
(* (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))))) (fma x x x))
309.0ms
(+ (log (fma (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)) (* (* (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x)))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))) (- (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ 2 (cbrt x)) (* (cbrt x) (cbrt x))))))) (log (fma x x x)))
269.0ms
(+ (* 9 (/ 1 (pow x 3))) (+ (* 4 (/ 1 (pow x 2))) (/ 1 x)))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac
69×*-un-lft-identity
64×add-sqr-sqrt add-cube-cbrt
33×unpow-prod-down
26×add-exp-log
25×fma-def
20×add-cbrt-cube
19×associate-/l*
15×associate-/r*
12×div-exp
11×sqr-pow
9×add-log-exp
8×cbrt-undiv
6×div-inv
4×expm1-log1p-u pow1 frac-add insert-posit16 log1p-expm1-u
3×clear-num sum-log frac-2neg distribute-lft-out
2×pow-to-exp flip3-+ pow-exp prod-exp cbrt-unprod flip-+
1×+-commutative associate-+r+ associate-/l/
Counts
4 → 191
Calls
4 calls:
Slowest
69.0ms
(+ (/ 2 (pow x 7)) (+ (/ (/ 2 x) (* x x)) (/ 2 (pow x 5))))
13.0ms
(/ (/ 2 x) (* x x))
5.0ms
(/ 2 (pow x 7))
5.0ms
(/ 2 (pow x 5))

series220.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
65.0ms
(/ 2 (pow x 7))
64.0ms
(+ (/ 2 (pow x 7)) (+ (/ (/ 2 x) (* x x)) (/ 2 (pow x 5))))
53.0ms
(/ 2 (pow x 5))
38.0ms
(/ (/ 2 x) (* x x))

simplify10.1s

Counts
201 → 203
Calls
201 calls:
Slowest
330.0ms
(+ (* 2 (+ (* (/ (/ 2 x) (* x x)) (/ (/ 2 x) (* x x))) (- (* (/ 2 (pow x 5)) (/ 2 (pow x 5))) (* (/ (/ 2 x) (* x x)) (/ 2 (pow x 5)))))) (* (pow x 7) (+ (pow (/ (/ 2 x) (* x x)) 3) (pow (/ 2 (pow x 5)) 3))))
228.0ms
(/ (* (* 2 2) 2) (* (* (pow x 5) (pow x 5)) (pow x 5)))
228.0ms
(/ (* (* 2 2) 2) (* (* (pow x 7) (pow x 7)) (pow x 7)))
205.0ms
(* (pow x 7) (* (* x x) (pow x 5)))
179.0ms
(* (pow x 7) (+ (* (/ (/ 2 x) (* x x)) (/ (/ 2 x) (* x x))) (- (* (/ 2 (pow x 5)) (/ 2 (pow x 5))) (* (/ (/ 2 x) (* x x)) (/ 2 (pow x 5))))))

prune1.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes43.0ms

Accuracy

99.5% (0.2b remaining)

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

bsearch205.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
526.0ms1819×body640valid
428.0ms532×body1280valid
324.0ms4255×body80valid
223.0ms928×body320valid
96.0ms468×body160valid