Details

Time bar (total: 21.2s)

sample227.0ms

Algorithm
intervals
Results
126.0ms120×body1280valid
44.0ms79×body640valid
24.0ms257×body80nan
11.0ms31×body320valid
4.0ms18×body160valid
1.0ms8×body80valid

simplify140.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.5b

localize15.0ms

Local error

Found 2 expressions with local error:

6.0b
(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)))

series117.0ms

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

simplify2.1s

Calls
53 calls:
Slowest
412.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
207.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))
176.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))
114.0ms
(log (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (- 1 x)) (cbrt (- 1 x)))))
112.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))

prune432.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize31.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))

rewrite6.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
6.0ms
(* (fma 2/3 (* x x) 2) x)
0.0ms
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

series215.0ms

Calls
2 calls:
Slowest
130.0ms
(* (fma 2/3 (* x x) 2) x)
84.0ms
(fma 2/5 (pow x 5) (* (fma 2/3 (* x x) 2) x))

simplify472.0ms

Calls
8 calls:
Slowest
108.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
103.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
89.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))
45.0ms
(+ (* 2 x) (* 2/3 (pow x 3)))
43.0ms
(+ (* 2 x) (* 2/3 (pow x 3)))

prune278.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 3 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)))

rewrite30.0ms

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

series385.0ms

Calls
3 calls:
Slowest
179.0ms
(* (sqrt (fma 2/3 (* x x) 2)) x)
123.0ms
(* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x))
83.0ms
(fma 2/5 (pow x 5) (* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (fma 2/3 (* x x) 2)) x)))

simplify2.2s

Calls
22 calls:
Slowest
534.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)))
289.0ms
(- (+ (* 1/3 (/ (pow x 3) (sqrt 2))) (* (sqrt 2) x)) (* 1/18 (/ (pow x 5) (pow (sqrt 2) 3))))
259.0ms
(- (+ (* (pow x 2) (sqrt 2/3)) (/ 1 (sqrt 2/3))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt 2/3) 3)))))
247.0ms
(- (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt 2/3) 3)))) (+ (* (pow x 2) (sqrt 2/3)) (/ 1 (sqrt 2/3))))
133.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))

prune578.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l*
21×sqrt-prod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×associate-*r*
1×fma-udef
Calls
4 calls:
Slowest
35.0ms
(* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x)))
16.0ms
(* (sqrt (sqrt (fma 2/3 (* x x) 2))) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x))
8.0ms
(* (sqrt (sqrt (fma 2/3 (* x x) 2))) x)
0.0ms
(fma 2/5 (pow x 5) (* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x))))

series576.0ms

Calls
4 calls:
Slowest
233.0ms
(* (sqrt (sqrt (fma 2/3 (* x x) 2))) x)
153.0ms
(* (sqrt (sqrt (fma 2/3 (* x x) 2))) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x))
103.0ms
(* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x)))
86.0ms
(fma 2/5 (pow x 5) (* (sqrt (fma 2/3 (* x x) 2)) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x))))

simplify4.0s

Calls
43 calls:
Slowest
363.0ms
(- (+ (* 1/12 (* (pow x 3) (pow 2 1/4))) (* x (pow 2 1/4))) (* 1/96 (* (pow x 5) (pow 2 1/4))))
326.0ms
(- (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt 2/3) 3)))) (+ (* (pow x 2) (sqrt 2/3)) (/ 1 (sqrt 2/3))))
323.0ms
(- (+ (* 1/3 (/ (pow x 3) (sqrt 2))) (* (sqrt 2) x)) (* 1/18 (/ (pow x 5) (pow (sqrt 2) 3))))
311.0ms
(* (* (* (sqrt (sqrt (fma 2/3 (* x x) 2))) (sqrt (sqrt (fma 2/3 (* x x) 2)))) (sqrt (sqrt (fma 2/3 (* x x) 2)))) (* (* (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x)) (* (sqrt (sqrt (fma 2/3 (* x x) 2))) x)))
277.0ms
(- (+ (* (pow x 2) (sqrt 2/3)) (/ 1 (sqrt 2/3))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt 2/3) 3)))))

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes24.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample8.1s

Algorithm
intervals
Results
3.7s3431×body1280valid
2.1s2542×body640valid
925.0ms1179×body320valid
900.0ms8010×body80nan
165.0ms647×body160valid
24.0ms201×body80valid