Details

Time bar (total: 11.0s)

sample223.0ms

Algorithm
intervals
Results
125.0ms786×body80nan
21.0ms255×body80valid
0.0ms1×body160valid

simplify33.0ms

Calls
1 calls:
Slowest
32.0ms
(* (sqrt (- x 1)) (sqrt x))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize54.0ms

Local error

Found 1 expressions with local error:

0.5b
(* (sqrt (- x 1)) (sqrt x))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*l*
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×pow1 add-cbrt-cube associate-*r* add-exp-log sqrt-prod
2×pow1/2 sqrt-div pow-prod-down associate-*l/
1×expm1-log1p-u flip3-- sqrt-unprod prod-exp *-commutative cbrt-unprod insert-posit16 log1p-expm1-u flip-- add-log-exp
Calls
1 calls:
Slowest
14.0ms
(* (sqrt (- x 1)) (sqrt x))

series125.0ms

Calls
1 calls:
Slowest
125.0ms
(* (sqrt (- x 1)) (sqrt x))

simplify1.1s

Calls
18 calls:
Slowest
698.0ms
(* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
99.0ms
(* (sqrt (- (* x x) (* 1 1))) (sqrt x))
98.0ms
(- x (+ (* 1/8 (/ 1 x)) 1/2))
32.0ms
(* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
30.0ms
(* (- x 1) x)

prune247.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(- 1/2 (/ -1/8 x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u flip-- add-log-exp
Calls
1 calls:
Slowest
1.0ms
(- 1/2 (/ -1/8 x))

series50.0ms

Calls
1 calls:
Slowest
50.0ms
(- 1/2 (/ -1/8 x))

simplify78.0ms

Calls
3 calls:
Slowest
29.0ms
(+ (* 1/8 (/ 1 x)) 1/2)
25.0ms
(+ (* 1/8 (/ 1 x)) 1/2)
23.0ms
(+ (* 1/8 (/ 1 x)) 1/2)

prune124.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (- x 1)) (sqrt (sqrt x)))
0.2b
(* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))
0.1b
(sqrt (sqrt x))
0.1b
(sqrt (sqrt x))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
15×sqrt-prod
14×add-sqr-sqrt
12×*-un-lft-identity associate-*r* add-cube-cbrt
11×pow1 add-cbrt-cube add-exp-log
7×pow1/2 associate-*l* pow-prod-down
6×associate-*l/
4×expm1-log1p-u sqrt-div prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-unprod
2×rem-sqrt-square flip3-- *-commutative flip--
Calls
4 calls:
Slowest
31.0ms
(* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))
6.0ms
(* (sqrt (- x 1)) (sqrt (sqrt x)))
2.0ms
(sqrt (sqrt x))
2.0ms
(sqrt (sqrt x))

series686.0ms

Calls
4 calls:
Slowest
222.0ms
(sqrt (sqrt x))
188.0ms
(* (sqrt (- x 1)) (sqrt (sqrt x)))
179.0ms
(sqrt (sqrt x))
97.0ms
(* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify2.0s

Calls
55 calls:
Slowest
430.0ms
(* (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
290.0ms
(+ (* 1/2 (* (pow (pow x 5) 1/4) (/ 1 (sqrt -1)))) (+ (* (pow x 1/4) (sqrt -1)) (* 1/8 (* (pow (pow x 9) 1/4) (/ 1 (sqrt -1))))))
229.0ms
(* (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
227.0ms
(* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
124.0ms
(- x (+ (* 1/8 (/ 1 x)) 1/2))

prune943.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

30.4b
(sqrt (- (* x x) x))
0.0b
(- (* x x) x)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt
3×*-un-lft-identity add-cube-cbrt sqrt-prod
2×expm1-log1p-u pow1 flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp
1×rem-sqrt-square sub-neg pow1/2 fma-neg
Calls
2 calls:
Slowest
6.0ms
(sqrt (- (* x x) x))
4.0ms
(- (* x x) x)

series124.0ms

Calls
2 calls:
Slowest
72.0ms
(- (* x x) x)
53.0ms
(sqrt (- (* x x) x))

simplify757.0ms

Calls
12 calls:
Slowest
381.0ms
(sqrt (- (* (* x x) (* x x)) (* x x)))
139.0ms
(sqrt (- (pow (* x x) 3) (pow x 3)))
87.0ms
(- x (+ (* 1/8 (/ 1 x)) 1/2))
83.0ms
(- (+ (* 1/8 (/ 1 x)) 1/2) x)
15.0ms
(- (pow x 2) x)

prune267.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes39.0ms

Accuracy

0% (0.4b remaining)

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

bsearch1.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.0s24040×body80nan
608.0ms7988×body80valid
2.0ms12×body160valid