Details

Time bar (total: 49.9s)

sample242.0ms

Algorithm
intervals
Results
89.0ms256×body80valid
65.0ms723×body80nan

simplify73.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 1 x) 1)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
51×*-un-lft-identity
42×times-frac add-cube-cbrt
39×prod-diff
13×fma-neg
6×add-exp-log difference-of-squares
5×div-inv
4×expm1-def
3×difference-of-sqr-1 add-log-exp
2×div-exp distribute-lft-out--
1×expm1-log1p-u pow1 rec-exp sub-neg flip3-- add-cbrt-cube diff-log 1-exp insert-posit16 log1p-expm1-u flip--
Calls
1 calls:
Slowest
24.0ms
(- (/ 1 x) 1)

series28.0ms

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

simplify4.0s

Calls
114 calls:
Slowest
444.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
139.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
114.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
113.0ms
(fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
109.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))

prune680.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

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

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
190×add-sqr-sqrt
144×*-un-lft-identity
114×sqrt-prod
86×times-frac
55×add-cube-cbrt
48×difference-of-squares
39×prod-diff
31×swap-sqr
27×difference-of-sqr-1
22×distribute-lft-out--
21×pow1
17×associate-*r* associate-*l*
16×sqrt-div
15×div-inv
13×fma-neg
11×add-exp-log
10×sqrt-pow1 pow1/2
9×flip3-- flip--
6×add-cbrt-cube add-log-exp
5×pow-prod-up
4×expm1-log1p-u frac-times expm1-def insert-posit16 log1p-expm1-u unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square div-exp associate-*l/ associate-*r/
1×pow2 rec-exp sub-neg rem-square-sqrt pow-plus sqrt-unprod diff-log 1-exp prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
62.0ms
(* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))
28.0ms
(sqrt (- (/ 1 x) 1))
26.0ms
(- (/ 1 x) 1)
22.0ms
(sqrt (- (/ 1 x) 1))

series204.0ms

Calls
4 calls:
Slowest
105.0ms
(* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))
44.0ms
(sqrt (- (/ 1 x) 1))
34.0ms
(sqrt (- (/ 1 x) 1))
20.0ms
(- (/ 1 x) 1)

simplify9.7s

Calls
299 calls:
Slowest
273.0ms
(+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
269.0ms
(* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
266.0ms
(* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
244.0ms
(* (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))) (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))
232.0ms
(+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))

prune2.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
286×add-sqr-sqrt
263×*-un-lft-identity
240×times-frac
232×add-cube-cbrt
198×prod-diff
126×sqrt-prod
68×distribute-rgt-in distribute-lft-in
22×fma-neg
20×associate-*r* difference-of-squares
19×add-exp-log
15×div-inv
12×associate-/r*
10×pow1 add-cbrt-cube difference-of-sqr-1
6×div-exp pow-flip associate-/l* add-log-exp
5×associate-*l*
4×expm1-log1p-u frac-times expm1-def flip3-- insert-posit16 log1p-expm1-u flip-- distribute-lft-out--
3×rec-exp sub-neg flip3-+ 1-exp flip-+
2×cbrt-undiv clear-num frac-2neg sqrt-pow1 pow1/2 associate-*l/ associate-*r/ distribute-lft-out inv-pow
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
99.0ms
(* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1))
28.0ms
(- (/ 1 (sqrt x)) 1)
5.0ms
(/ 1 (sqrt x))
5.0ms
(/ 1 (sqrt x))

series277.0ms

Calls
4 calls:
Slowest
122.0ms
(* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1))
59.0ms
(- (/ 1 (sqrt x)) 1)
49.0ms
(/ 1 (sqrt x))
47.0ms
(/ 1 (sqrt x))

simplify24.0s

Calls
471 calls:
Slowest
861.0ms
(* (- (/ 1 (sqrt x)) 1) (+ (/ 1 (sqrt x)) 1))
555.0ms
(* (+ (pow (/ 1 (sqrt x)) 3) (pow 1 3)) (- (/ 1 (sqrt x)) 1))
546.0ms
(* (+ (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (- (* 1 1) (* (/ 1 (sqrt x)) 1))) (+ (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (+ (* 1 1) (* (/ 1 (sqrt x)) 1))))
450.0ms
(* (- (/ 1 (sqrt x)) 1) (+ (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (+ (* 1 1) (* (/ 1 (sqrt x)) 1))))
418.0ms
(* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1))

prune4.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes82.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.2s23850×body80nan
732.0ms8000×body80valid