Details

Time bar (total: 1.2m)

sample137.0ms

Algorithm
intervals
Results
112.0ms429×body80valid

simplify385.0ms

Calls
1 calls:
Slowest
384.0ms
(fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize109.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.3b
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))

rewrite3.0s

Algorithm
rewrite-expression-head
Rules
52×add-exp-log
50×pow1 add-cbrt-cube
36×prod-exp
35×pow-prod-down cbrt-unprod
15×associate-*l/
12×associate-*l* frac-add
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×frac-times flip3-+ associate-*r/ flip-+
5×associate-*r*
4×insert-posit16 add-log-exp
3×*-commutative div-inv
1×distribute-rgt-in rec-exp distribute-lft-in pow1/2
Calls
4 calls:
Slowest
1.5s
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.5s
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
36.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

series344.0ms

Calls
4 calls:
Slowest
270.0ms
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
40.0ms
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
34.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify23.4s

Calls
78 calls:
Slowest
1.6s
(* (sqrt PI) (+ (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (- (* (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))
1.4s
(+ (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (- (* (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
1.2s
(* 1 (+ (* (- (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21) (* (- (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
815.0ms
(* 1 (- (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
731.0ms
(* (sqrt PI) (* (+ (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (- (* (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 21))

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/21 (pow (fabs x) 7))
0.2b
(* (* (fabs x) (fabs x)) 2/3)
0.1b
(* (sqrt (/ 1 PI)) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))
0.1b
(* 1/5 (pow (fabs x) 5))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
15×associate-*r*
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×associate-*l*
6×pow1 unpow-prod-down add-cbrt-cube add-exp-log
4×*-commutative sqrt-prod insert-posit16 add-log-exp
3×sqrt-div
2×frac-times flip3-+ associate-*r/ flip-+
1×distribute-rgt-in distribute-lft-in pow-prod-down associate-*l/ prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
34.0ms
(* (sqrt (/ 1 PI)) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))
9.0ms
(* (* (fabs x) (fabs x)) 2/3)
3.0ms
(* 1/21 (pow (fabs x) 7))
2.0ms
(* 1/5 (pow (fabs x) 5))

series355.0ms

Calls
4 calls:
Slowest
271.0ms
(* (sqrt (/ 1 PI)) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))
42.0ms
(* 1/21 (pow (fabs x) 7))
27.0ms
(* 1/5 (pow (fabs x) 5))
15.0ms
(* (* (fabs x) (fabs x)) 2/3)

simplify6.0s

Calls
46 calls:
Slowest
817.0ms
(* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
770.0ms
(* (sqrt 1) (+ (pow (* 1/21 (pow (fabs x) 7)) 3) (pow (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))) 3)))
516.0ms
(* (sqrt PI) (+ (* (* 1/21 (pow (fabs x) 7)) (* 1/21 (pow (fabs x) 7))) (- (* (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))) (* (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))))
393.0ms
(+ (* (* 1/21 (pow (fabs x) 7)) (* 1/21 (pow (fabs x) 7))) (- (* (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))) (* (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
389.0ms
(* (sqrt (/ 1 PI)) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7))))))

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.3b
(/ (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt PI))
0.2b
(* 1/21 (* (fabs x) (fabs x)))
0.2b
(* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
4×pow1 insert-posit16 add-log-exp
3×associate-/r* associate-/l*
2×associate-*r* *-commutative associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ pow1/2 div-exp flip-+ div-inv
Calls
4 calls:
Slowest
995.0ms
(/ (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt PI))
21.0ms
(* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))
9.0ms
(* 1/21 (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

series292.0ms

Calls
4 calls:
Slowest
245.0ms
(/ (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt PI))
24.0ms
(* 1/21 (* (fabs x) (fabs x)))
23.0ms
(* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify10.5s

Calls
39 calls:
Slowest
1.1s
(/ (* (* (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))) (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x))))) (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
633.0ms
(- (* (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2))) (* (* 2/3 (* (* (fabs x) (fabs x)) (fabs x))) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))))
507.0ms
(/ (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (sqrt PI)))
485.0ms
(- (log (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x))))) (log (sqrt PI)))
478.0ms
(/ (cbrt (+ (+ (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* 1/21 (* (fabs x) (fabs x))) 1/5)) (* (fabs x) 2)) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x))))) (sqrt PI))

prune894.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
0.3b
(* 1/21 (pow (fabs x) 7))
0.2b
(* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))
0.2b
(* (* (fabs x) (fabs x)) 2/3)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
30×sqrt-div
22×sqrt-prod
21×associate-*l*
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×frac-times pow1 add-cbrt-cube associate-*r/ add-exp-log
10×associate-*r*
6×flip3-+ flip-+
5×distribute-rgt-in distribute-lft-in
4×pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp
3×unpow-prod-down
2×div-inv
Calls
4 calls:
Slowest
48.0ms
(* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
19.0ms
(* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))
19.0ms
(* (* (fabs x) (fabs x)) 2/3)
2.0ms
(* 1/21 (pow (fabs x) 7))

series813.0ms

Calls
4 calls:
Slowest
486.0ms
(* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))
253.0ms
(* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
52.0ms
(* 1/21 (pow (fabs x) 7))
21.0ms
(* (* (fabs x) (fabs x)) 2/3)

simplify15.9s

Calls
79 calls:
Slowest
1.2s
(* (* (* (sqrt (sqrt (/ 1 PI))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI)))) (* (* (* (sqrt (sqrt (/ 1 PI))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI)))) (* (* (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))))
1.1s
(* (* (* (sqrt (sqrt (/ 1 PI))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI)))) (* (* (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))) (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))) (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))))
773.0ms
(* (* (* (sqrt (sqrt (/ 1 PI))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI)))) (* (* (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
736.0ms
(* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))))))
455.0ms
(* (sqrt (sqrt PI)) (+ (* (* 1/21 (pow (fabs x) 7)) (* 1/21 (pow (fabs x) 7))) (- (* (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2))) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))) (* (* 1/21 (pow (fabs x) 7)) (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ (* (* (fabs x) (fabs x)) 2/3) 2)))))))

prune2.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes277.0ms

Accuracy

0% (0.2b remaining)

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

bsearch5.0ms

end0.0ms

sample4.9s

Algorithm
intervals
Results
4.7s14006×body80valid