Details

Time bar (total: 54.3s)

sample150.0ms

Algorithm
intervals
Results
126.0ms458×body80valid

simplify510.0ms

Calls
1 calls:
Slowest
509.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.0b

localize109.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 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
68×pow1 add-cbrt-cube add-exp-log
49×pow-prod-down prod-exp cbrt-unprod
12×associate-*l*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* associate-*l/ *-commutative div-inv
1×pow1/2
Calls
4 calls:
Slowest
1.6s
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
284.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)

series105.0ms

Calls
4 calls:
Slowest
44.0ms
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
37.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
25.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify13.6s

Calls
67 calls:
Slowest
531.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))))))
439.0ms
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
429.0ms
(+ (log (/ 1 5)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
418.0ms
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
412.0ms
(+ (log (/ 1 5)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))

prune2.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt (/ 1 21))
1.0b
(sqrt (/ 1 21))
0.1b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
8×sqrt-prod
7×*-un-lft-identity add-cube-cbrt
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×pow1/2 div-inv
2×rem-sqrt-square sqrt-div
1×associate-*r* associate-*l/ *-commutative
Calls
4 calls:
Slowest
46.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt (/ 1 21))
2.0ms
(sqrt (/ 1 21))
1.0ms
(sqrt PI)

series22.0ms

Calls
4 calls:
Slowest
22.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt (/ 1 21))
0.0ms
(sqrt (/ 1 21))

simplify2.0s

Calls
31 calls:
Slowest
254.0ms
(+ (log (/ 2 3)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
237.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
233.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
233.0ms
(+ (log (/ 2 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
228.0ms
(+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x))))

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

12.9b
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
12.9b
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
12.9b
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.0b
(sqrt PI)

rewrite4.4s

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod cbrt-div pow1/3 associate-*l/
1×pow1/2
Calls
4 calls:
Slowest
1.5s
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.5s
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.4s
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
0.0ms
(sqrt PI)

series749.0ms

Calls
4 calls:
Slowest
270.0ms
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
259.0ms
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
219.0ms
(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
0.0ms
(sqrt PI)

simplify433.0ms

Calls
15 calls:
Slowest
104.0ms
(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
102.0ms
(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
76.0ms
(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
16.0ms
(cbrt (/ 1 21))
16.0ms
(cbrt (/ 1 21))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
276×pow1
213×pow-prod-up
87×pow-plus
71×add-cbrt-cube add-exp-log
60×pow2
51×pow-prod-down prod-exp cbrt-unprod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac pow3
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×associate-*r* *-commutative
1×cbrt-undiv clear-num frac-2neg pow1/2 div-exp associate-*l* div-inv
Calls
4 calls:
Slowest
114.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
17.0ms
(* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))
4.0ms
(/ (fma (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) 1/21 (fma 1/5 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (fma 2 (fabs x) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))))) (sqrt PI))
0.0ms
(sqrt PI)

series318.0ms

Calls
4 calls:
Slowest
268.0ms
(/ (fma (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) 1/21 (fma 1/5 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (fma 2 (fabs x) (* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))))) (sqrt PI))
28.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
21.0ms
(* 2/3 (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify17.5s

Calls
206 calls:
Slowest
944.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))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))))
737.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) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))
719.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))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))))
682.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))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))))
665.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))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))))

prune2.6s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes130.0ms

Accuracy

0% (0.2b remaining)

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

bsearch19.0ms

end0.0ms

sample4.7s

Algorithm
intervals
Results
4.5s13942×body80valid