Details

Time bar (total: 22.0s)

sample254.0ms

Algorithm
intervals
Results
143.0ms132×body1280valid
38.0ms56×body640valid
28.0ms259×body80nan
24.0ms37×body320valid
6.0ms20×body160valid
1.0ms11×body80valid

simplify137.0ms

Calls
1 calls:
Slowest
137.0ms
(* (/ 1 2) (log (/ (+ 1 x) (- 1 x))))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.9b

localize12.0ms

Local error

Found 2 expressions with local error:

5.8b
(log (/ (+ x 1) (- 1 x)))
0.0b
(/ (+ x 1) (- 1 x))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×log-prod
7×add-exp-log
4×add-cbrt-cube associate-/r/
3×pow1 associate-/r* associate-/l*
2×expm1-log1p-u flip3-- div-exp rem-log-exp insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ log-pow flip-+
Calls
2 calls:
Slowest
4.0ms
(/ (+ x 1) (- 1 x))
2.0ms
(log (/ (+ x 1) (- 1 x)))

series111.0ms

Calls
2 calls:
Slowest
89.0ms
(log (/ (+ x 1) (- 1 x)))
22.0ms
(/ (+ x 1) (- 1 x))

simplify2.2s

Calls
53 calls:
Slowest
376.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
185.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))
174.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))
129.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
123.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))

prune398.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (fma 2/3 (* x x) 2) x)
0.0b
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×*-commutative fma-udef
Calls
2 calls:
Slowest
3.0ms
(* (fma 2/3 (* x x) 2) x)
0.0ms
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

series161.0ms

Calls
2 calls:
Slowest
95.0ms
(* (fma 2/3 (* x x) 2) x)
66.0ms
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

simplify535.0ms

Calls
8 calls:
Slowest
127.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
116.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
84.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
63.0ms
(+ (* 2 x) (* 2/3 (pow x 3)))
57.0ms
(+ (* 2 x) (* 2/3 (pow x 3)))

prune278.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (fma 2/3 (* x x) 2)) x)
0.4b
(* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x))
0.0b
(fma 2/5 (pow x 5) (* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x)))
0.0b
(sqrt (fma 2/3 (* x x) 2))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-*l*
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt sqrt-prod
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×rem-sqrt-square pow1/2 associate-*r* pow-prod-down prod-exp cbrt-unprod fma-udef
Calls
4 calls:
Slowest
13.0ms
(* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x))
6.0ms
(* (sqrt (fma 2/3 (* x x) 2)) x)
1.0ms
(sqrt (fma 2/3 (* x x) 2))
0.0ms
(fma 2/5 (pow x 5) (* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x)))

series442.0ms

Calls
4 calls:
Slowest
183.0ms
(* (sqrt (fma 2/3 (* x x) 2)) x)
118.0ms
(* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x))
72.0ms
(fma 2/5 (pow x 5) (* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x)))
68.0ms
(sqrt (fma 2/3 (* x x) 2))

simplify3.1s

Calls
29 calls:
Slowest
430.0ms
(- (+ (/ 1 (* x (sqrt 2/3))) (* x (sqrt 2/3))) (* 1/2 (/ 1 (* (pow x 3) (pow (sqrt 2/3) 3)))))
402.0ms
(* (* (* (sqrt (fma 2/3 (* x x) 2)) (sqrt (fma 2/3 (* x x) 2))) (sqrt (fma 2/3 (* x x) 2))) (* (* (* (sqrt (fma 2/3 (* x x) 2)) x) (* (sqrt (fma 2/3 (* x x) 2)) x)) (* (sqrt (fma 2/3 (* x x) 2)) x)))
307.0ms
(- (* 1/2 (/ 1 (* (pow x 3) (pow (sqrt 2/3) 3)))) (+ (/ 1 (* x (sqrt 2/3))) (* x (sqrt 2/3))))
302.0ms
(- (+ (sqrt 2) (* 1/3 (/ (pow x 2) (sqrt 2)))) (* 1/18 (/ (pow x 4) (pow (sqrt 2) 3))))
258.0ms
(- (+ (* 1/3 (/ (pow x 3) (sqrt 2))) (* (sqrt 2) x)) (* 1/18 (/ (pow x 5) (pow (sqrt 2) 3))))

prune766.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))))
0.0b
(* (fma 2/3 (* x x) 2) x)
0.0b
(* (fma 2/3 (* x x) 2) x)
0.0b
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-*l*
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
6×add-cbrt-cube associate-*r* add-exp-log sqrt-prod
4×expm1-log1p-u pow1/2 insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×pow-prod-down pow-prod-up
1×pow2 rem-square-sqrt pow-plus sqrt-unprod prod-exp cbrt-unprod fma-udef
Calls
4 calls:
Slowest
12.0ms
(* (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))))
6.0ms
(* (fma 2/3 (* x x) 2) x)
6.0ms
(* (fma 2/3 (* x x) 2) x)
0.0ms
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

series408.0ms

Calls
4 calls:
Slowest
125.0ms
(* (fma 2/3 (* x x) 2) x)
105.0ms
(* (fma 2/3 (* x x) 2) x)
91.0ms
(* (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))))
86.0ms
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

simplify4.5s

Calls
38 calls:
Slowest
726.0ms
(* (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)) (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))
605.0ms
(* (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)) (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))
480.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
406.0ms
(* (* (* (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))) (* (* (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))) (sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))))
125.0ms
(sqrt (fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x)))

prune972.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes37.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample7.5s

Algorithm
intervals
Results
3.8s3505×body1280valid
1.6s2379×body640valid
893.0ms1309×body320valid
860.0ms8107×body80nan
179.0ms611×body160valid
23.0ms196×body80valid