Details

Time bar (total: 2.3m)

sample164.0ms

Algorithm
intervals
Results
133.0ms485×body80valid

simplify451.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
450.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))))))

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize113.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
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)))))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×add-exp-log
36×associate-*l*
35×pow1 add-cbrt-cube
31×times-frac
29×*-un-lft-identity
27×add-cube-cbrt
19×prod-exp
17×cbrt-unprod
14×associate-*l/ sqrt-prod
12×frac-add
10×pow-prod-down
7×associate-*r*
6×frac-times flip3-+ pow-plus associate-*r/ pow-prod-up flip-+ unswap-sqr
5×div-exp
4×cbrt-undiv insert-posit16 add-log-exp
3×*-commutative
2×pow2 pow-sqr div-inv
1×distribute-rgt-in rem-sqrt-square rec-exp distribute-lft-in sqrt-pow1 pow1/2 1-exp pow3
Counts
4 → 143
Calls
4 calls:
Slowest
1.6s
(* (/ 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)))))
69.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
28.0ms
(* (* (fabs x) (fabs x)) (fabs x))
1.0ms
(sqrt PI)

series430.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
349.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)))))
55.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
26.0ms
(* (* (fabs x) (fabs x)) (fabs x))
0.0ms
(sqrt PI)

simplify41.7s

Counts
164 → 153
Calls
164 calls:
Slowest
1.6s
(* (* (* (/ 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))))) (* (/ 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)))))) (* (/ 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))))))
1.3s
(* (/ 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)))) (+ (+ (* 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))))))
1.2s
(* (/ 1 (sqrt PI)) (+ (pow (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 3) (pow (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)))
1.1s
(* 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))))))
928.0ms
(* 1 (+ (pow (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 3) (pow (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)))

prune2.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
23×associate-*l*
20×*-un-lft-identity
19×add-cube-cbrt
18×add-exp-log
16×associate-*r* sqrt-prod
15×add-cbrt-cube
13×pow1
11×times-frac
8×prod-exp unswap-sqr
6×cbrt-unprod
5×pow-prod-down
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
3×sqrt-div
2×frac-times flip3-+ associate-*r/ flip-+ sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in associate-*l/ pow-exp div-inv
Counts
4 → 106
Calls
4 calls:
Slowest
135.0ms
(* (sqrt (/ 1 PI)) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))
36.0ms
(* (* 2/3 (fabs x)) (fabs x))
15.0ms
(* 1/5 (pow (fabs x) 5))
10.0ms
(* 2/3 (fabs x))

series536.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
384.0ms
(* (sqrt (/ 1 PI)) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))
87.0ms
(* 1/5 (pow (fabs x) 5))
36.0ms
(* (* 2/3 (fabs x)) (fabs x))
29.0ms
(* 2/3 (fabs x))

simplify23.2s

Counts
126 → 118
Calls
126 calls:
Slowest
1.1s
(* (* (* (sqrt (/ 1 PI)) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))) (* (sqrt (/ 1 PI)) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))) (* (sqrt (/ 1 PI)) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))
923.0ms
(* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))
726.0ms
(* (* (* (* 2/3 (fabs x)) (* 2/3 (fabs x))) (* 2/3 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
607.0ms
(* 1/5 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5))
536.0ms
(* (cbrt (* 1/5 (pow (fabs x) 5))) (cbrt (* 1/5 (pow (fabs x) 5))))

prune2.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

16.6b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
16.6b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)
0.2b
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
600×pow1
347×sqrt-pow1
298×pow-prod-up
201×pow-plus
102×pow-prod-down
92×pow-sqr
57×pow2
24×pow3
15×pow1/2
12×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt sqrt-prod
6×add-cbrt-cube add-exp-log
4×swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
1×rem-sqrt-square rem-square-sqrt sqrt-unprod prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 256
Calls
4 calls:
Slowest
103.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
26.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
16.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series123.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
43.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
43.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
36.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify8.9s

Counts
270 → 266
Calls
270 calls:
Slowest
688.0ms
(* (* (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))) (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))
638.0ms
(* (* (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))
403.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))
208.0ms
(exp (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))
180.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))

prune4.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite330.0ms

Algorithm
rewrite-expression-head
Rules
65×sqrt-prod
42×associate-*l*
39×add-sqr-sqrt
30×sqrt-div
27×*-un-lft-identity
26×add-cube-cbrt
20×times-frac
18×pow1 add-cbrt-cube add-exp-log
11×frac-times associate-*r/
10×associate-*r*
8×pow-prod-down prod-exp cbrt-unprod
6×flip3-+ flip-+ unswap-sqr
5×distribute-rgt-in distribute-lft-in
4×associate-*l/ *-commutative insert-posit16 add-log-exp
2×div-inv
Counts
4 → 134
Calls
4 calls:
Slowest
168.0ms
(* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))
120.0ms
(* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))
26.0ms
(* (* 2/3 (fabs x)) (fabs x))
10.0ms
(* 2/3 (fabs x))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
669.0ms
(* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))
361.0ms
(* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))
42.0ms
(* (* 2/3 (fabs x)) (fabs x))
25.0ms
(* 2/3 (fabs x))

simplify39.9s

Counts
161 → 146
Calls
161 calls:
Slowest
1.5s
(* (* (* (sqrt (sqrt (/ 1 PI))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI)))) (* (* (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))))
1.5s
(* (* (* (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/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))))
1.2s
(* (* (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))
981.0ms
(* (* (* (sqrt (sqrt (/ 1 PI))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI)))) (* (* (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))
787.0ms
(* (* (* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))) (* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7)))))) (* (sqrt (sqrt (/ 1 PI))) (* (sqrt (sqrt (/ 1 PI))) (+ (+ (* 1/5 (pow (fabs x) 5)) (* (fabs x) (+ 2 (* (* 2/3 (fabs x)) (fabs x))))) (* 1/21 (pow (fabs x) 7))))))

prune2.7s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes135.0ms

Accuracy

0% (0.1b remaining)

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

bsearch10.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
4.4s13852×body80valid