Details

Time bar (total: 2.4m)

sample141.0ms

Algorithm
intervals
Results
117.0ms464×body80valid

simplify564.0ms

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize104.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
119×add-exp-log
76×prod-exp
75×add-cbrt-cube
48×associate-*l*
46×add-sqr-sqrt
44×cbrt-unprod
40×times-frac
36×pow1
35×*-un-lft-identity
33×add-cube-cbrt
22×pow-prod-down
15×div-exp associate-*l/
14×sqrt-prod
12×frac-add
9×cbrt-undiv
6×frac-times rec-exp flip3-+ 1-exp associate-*r/ flip-+
5×associate-*r* unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative div-inv
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 181
Calls
4 calls:
Slowest
1.9s
(* (/ 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)))))
685.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
58.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series522.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
408.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)))))
66.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
48.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify34.6s

Counts
151 → 191
Calls
151 calls:
Slowest
1.2s
(* 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))))))
1.1s
(* (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))
926.0ms
(* 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))))))
885.0ms
(* (+ (* (+ (* 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)
878.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)))

prune3.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.2b
(* (* (fabs x) (fabs x)) 1/5)
0.2b
(* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
0.1b
(* 1/21 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
139×pow1
39×add-cbrt-cube pow-prod-down add-exp-log
36×pow-prod-up
24×prod-exp cbrt-unprod
22×pow-sqr
18×pow-plus
13×pow2
10×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
5×associate-*r* associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative sqrt-prod unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 swap-sqr
Counts
4 → 135
Calls
4 calls:
Slowest
93.0ms
(* 1/21 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))
35.0ms
(* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
20.0ms
(* (* (fabs x) (fabs x)) 1/5)
1.0ms
(sqrt PI)

series146.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
70.0ms
(* 1/21 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))
41.0ms
(* (* (fabs x) (fabs x)) 1/5)
35.0ms
(* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify6.5s

Counts
136 → 145
Calls
136 calls:
Slowest
711.0ms
(fabs (* (* (/ 1 (sqrt PI)) 1) (* (fabs x) (+ (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (fabs x) (fabs x)) (+ (* (* (fabs x) (fabs x)) 1/5) (* 1/21 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))))))))
701.0ms
(* (* (* 1/21 1/21) 1/21) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))
571.0ms
(* (* (* 1/21 1/21) 1/21) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))
412.0ms
(* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))))
358.0ms
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* 1/5 1/5) 1/5))

prune2.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize115.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.2b
(* (/ 1 (sqrt (sqrt PI))) (* (/ 1 (sqrt (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.2b
(* (/ 1 (sqrt (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)))))

rewrite6.6s

Algorithm
rewrite-expression-head
Rules
78×add-exp-log
66×sqrt-prod
64×add-sqr-sqrt
62×associate-*l*
60×times-frac
48×*-un-lft-identity
45×add-cube-cbrt
40×associate-*l/ prod-exp
36×frac-add
31×frac-times associate-*r/
30×add-cbrt-cube
20×div-exp
18×flip3-+ flip-+
13×pow1
12×cbrt-unprod
10×rec-exp 1-exp
7×unswap-sqr
6×cbrt-undiv
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u associate-*r* pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 *-commutative div-inv
Counts
4 → 208
Calls
4 calls:
Slowest
4.7s
(* (/ 1 (sqrt (sqrt PI))) (* (/ 1 (sqrt (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.9s
(* (/ 1 (sqrt (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.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series1.1s

Counts
4 → 8
Calls
4 calls:
Slowest
618.0ms
(* (/ 1 (sqrt (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)))))
434.0ms
(* (/ 1 (sqrt (sqrt PI))) (* (/ 1 (sqrt (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.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify54.3s

Counts
192 → 216
Calls
192 calls:
Slowest
1.7s
(* 1 (* (/ 1 (sqrt (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.5s
(* 1 (* (/ 1 (sqrt (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 (* 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)))))))
1.0s
(* 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))))))
1.0s
(* (sqrt (sqrt PI)) (* (sqrt (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)))

prune4.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
29×pow1
25×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
18×times-frac
16×add-cbrt-cube add-exp-log
15×sqrt-prod
6×associate-/r* pow-plus associate-*r* pow-prod-down prod-exp pow-prod-up cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l*
2×pow2 associate-*l* pow-sqr *-commutative unswap-sqr
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp pow3 div-inv
Counts
4 → 111
Calls
4 calls:
Slowest
30.0ms
(* (* (fabs x) (fabs x)) (fabs x))
23.0ms
(* (* (fabs x) (fabs x)) 1/21)
4.0ms
(/ (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (sqrt PI))
1.0ms
(sqrt PI)

series333.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
273.0ms
(/ (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (sqrt PI))
33.0ms
(* (* (fabs x) (fabs x)) 1/21)
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
0.0ms
(sqrt PI)

simplify17.1s

Counts
96 → 121
Calls
96 calls:
Slowest
571.0ms
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
560.0ms
(/ (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (sqrt PI))
542.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))))))
540.0ms
(/ (sqrt (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) 1)
536.0ms
(/ (sqrt (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) (sqrt (sqrt PI)))

prune1.6s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes288.0ms

Accuracy

0% (0.2b remaining)

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

bsearch9.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
4.8s14091×body80valid