Details

Time bar (total: 19.8s)

sample193.0ms

Algorithm
intervals
Results
100.0ms723×body80nan
24.0ms256×body80valid

simplify37.0ms

Calls
1 calls:
Slowest
36.0ms
(- (log (- (/ 1 x) 1)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 1 x) 1)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×*-un-lft-identity
6×times-frac difference-of-squares
3×difference-of-sqr-1 add-log-exp
2×distribute-lft-out--
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 div-inv flip--
Calls
1 calls:
Slowest
25.0ms
(- (/ 1 x) 1)

series39.0ms

Calls
1 calls:
Slowest
39.0ms
(- (/ 1 x) 1)

simplify297.0ms

Calls
21 calls:
Slowest
40.0ms
(/ (exp (/ 1 x)) (exp 1))
21.0ms
(- (/ (sqrt 1) (sqrt x)) (sqrt 1))
18.0ms
(+ (sqrt (/ 1 x)) (sqrt 1))
17.0ms
(- (/ 1 x) 1)
17.0ms
(- (sqrt (/ 1 x)) (sqrt 1))

prune165.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))
0.1b
(sqrt (- (/ 1 x) 1))
0.1b
(sqrt (- (/ 1 x) 1))
0.0b
(- (/ 1 x) 1)

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
149×add-sqr-sqrt
114×sqrt-prod
103×*-un-lft-identity
50×times-frac
48×difference-of-squares
31×swap-sqr
27×difference-of-sqr-1
22×distribute-lft-out--
21×pow1
17×associate-*r* associate-*l*
16×sqrt-div
14×add-cube-cbrt
11×div-inv
10×sqrt-pow1 pow1/2
9×flip3-- flip--
6×add-cbrt-cube add-exp-log add-log-exp
5×pow-prod-up
4×frac-times insert-posit16 unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 sub-neg rem-square-sqrt pow-plus sqrt-unprod diff-log prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
60.0ms
(* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))
11.0ms
(sqrt (- (/ 1 x) 1))
10.0ms
(- (/ 1 x) 1)
10.0ms
(sqrt (- (/ 1 x) 1))

series196.0ms

Calls
4 calls:
Slowest
84.0ms
(* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))
51.0ms
(sqrt (- (/ 1 x) 1))
43.0ms
(sqrt (- (/ 1 x) 1))
17.0ms
(- (/ 1 x) 1)

simplify6.1s

Calls
206 calls:
Slowest
562.0ms
(* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (/ 1 x) 1)))
263.0ms
(+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
235.0ms
(* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
204.0ms
(+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
198.0ms
(+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))

prune1.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))
0.1b
(sqrt (/ 1 x))
0.1b
(sqrt (/ 1 x))
0.0b
(- (sqrt (/ 1 x)) 1)

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
50×sqrt-prod
49×*-un-lft-identity
34×times-frac
24×add-cube-cbrt
18×sqrt-div associate-*r*
16×difference-of-squares
10×pow1
8×difference-of-sqr-1
6×rem-sqrt-square associate-/r* sqrt-pow1 add-cbrt-cube associate-*l* add-exp-log associate-/l* distribute-lft-out-- add-log-exp
5×div-inv
4×frac-times flip3-- insert-posit16 flip--
3×sub-neg flip3-+ flip-+ distribute-lft-out
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow1/2 associate-*l/ associate-*r/ pow-flip inv-pow
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
78.0ms
(* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))
27.0ms
(- (sqrt (/ 1 x)) 1)
5.0ms
(sqrt (/ 1 x))
5.0ms
(sqrt (/ 1 x))

series177.0ms

Calls
4 calls:
Slowest
83.0ms
(* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))
44.0ms
(- (sqrt (/ 1 x)) 1)
26.0ms
(sqrt (/ 1 x))
24.0ms
(sqrt (/ 1 x))

simplify5.7s

Calls
133 calls:
Slowest
612.0ms
(* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))
611.0ms
(* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))
477.0ms
(* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))
441.0ms
(* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (sqrt (/ 1 x)) 1))
399.0ms
(* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))

prune1.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes116.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.0s23850×body80nan
630.0ms8000×body80valid