Details

Time bar (total: 11.1s)

sample31.0ms

Algorithm
intervals
Results
15.0ms92×body1280valid
4.0ms137×body80valid
3.0ms17×body640valid
1.0ms7×body320valid
0.0ms3×body160valid

simplify25.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0912
11912
22412
33012
43212
53812
64112
done4112

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1.0 (hypot 1.0 x))
1.3b
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt
12×prod-diff
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×fma-neg associate-/r* sqrt-prod associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 60
Calls
2 calls:
2.0ms
(/ 1.0 (hypot 1.0 x))
4.0ms
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

series444.0ms

Counts
2 → 6
Calls
2 calls:
99.0ms
(/ 1.0 (hypot 1.0 x))
345.0ms
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

simplify740.0ms

Counts
66 → 66
Iterations

Useful iterations: done (738.0ms)

IterNodesCost
01841680
14211305
212601080
done5001981

prune172.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 12.5b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (* 1.0 1.0) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))
0.0b
(/ 1.0 (hypot 1.0 x))
0.0b
(/ 1.0 (hypot 1.0 x))
0.8b
(- (* 1.0 1.0) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
30×times-frac
29×add-sqr-sqrt add-cube-cbrt
10×add-exp-log associate-/r* add-cbrt-cube
9×associate-/l*
6×add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
2×flip3-- associate-/r/ flip-- associate-/l/
1×sub-neg flip3-+ fma-neg diff-log div-sub prod-diff flip-+
Counts
4 → 112
Calls
4 calls:
11.0ms
(/ (- (* 1.0 1.0) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))
2.0ms
(/ 1.0 (hypot 1.0 x))
2.0ms
(/ 1.0 (hypot 1.0 x))
3.0ms
(- (* 1.0 1.0) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))

series1.5s

Counts
4 → 12
Calls
4 calls:
1.2s
(/ (- (* 1.0 1.0) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))
100.0ms
(/ 1.0 (hypot 1.0 x))
103.0ms
(/ 1.0 (hypot 1.0 x))
117.0ms
(- (* 1.0 1.0) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))

simplify1.3s

Counts
124 → 124
Iterations

Useful iterations: 2 (630.0ms)

IterNodesCost
02973324
18673167
235802902
done50002902

prune596.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 12.5b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (hypot 1.0 x))
0.0b
(/ 1.0 (hypot 1.0 x))
0.0b
(/ 1.0 (hypot 1.0 x))
0.8b
(- (pow (* 1.0 1.0) 3) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
64×prod-diff
51×add-sqr-sqrt
47×*-un-lft-identity
45×add-cube-cbrt
27×times-frac
23×sqr-pow
19×unpow-prod-down cube-prod
17×cube-mult unpow3
10×add-exp-log add-cbrt-cube
9×associate-/r* associate-/l*
8×fma-neg difference-of-squares
6×add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
1×difference-cubes sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 183
Calls
4 calls:
2.0ms
(/ 1.0 (hypot 1.0 x))
2.0ms
(/ 1.0 (hypot 1.0 x))
2.0ms
(/ 1.0 (hypot 1.0 x))
12.0ms
(- (pow (* 1.0 1.0) 3) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))

series741.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(/ 1.0 (hypot 1.0 x))
109.0ms
(/ 1.0 (hypot 1.0 x))
103.0ms
(/ 1.0 (hypot 1.0 x))
423.0ms
(- (pow (* 1.0 1.0) 3) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))

simplify1.0s

Counts
195 → 195
Iterations

Useful iterations: 2 (344.0ms)

IterNodesCost
02587363
15554597
219003826
done50003826

prune673.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 12.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (hypot 1.0 x))
0.0b
(/ 1.0 (hypot 1.0 x))
0.8b
(- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))
1.3b
(log (exp (- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
112×prod-diff
84×add-sqr-sqrt
74×*-un-lft-identity
70×add-cube-cbrt
69×unpow-prod-down
61×log-prod
58×exp-sum
41×sqr-pow
18×times-frac
14×cube-mult unpow3 cube-prod
12×difference-of-squares
11×log-pow
10×exp-prod
8×add-exp-log add-cbrt-cube
7×fma-neg
6×associate-/r* associate-/l* add-log-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u
2×cbrt-undiv sub-neg frac-2neg div-exp clear-num div-inv distribute-lft-out--
1×log-div flip3-- exp-diff diff-log rem-log-exp flip--
Counts
4 → 225
Calls
4 calls:
2.0ms
(/ 1.0 (hypot 1.0 x))
2.0ms
(/ 1.0 (hypot 1.0 x))
12.0ms
(- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))
37.0ms
(log (exp (- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))))

series1.1s

Counts
4 → 12
Calls
4 calls:
112.0ms
(/ 1.0 (hypot 1.0 x))
104.0ms
(/ 1.0 (hypot 1.0 x))
426.0ms
(- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))
420.0ms
(log (exp (- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))))

simplify929.0ms

Counts
237 → 237
Iterations

Useful iterations: 2 (340.0ms)

IterNodesCost
040711554
17136954
219715707
done50015707

prune712.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 12.5b

regimes107.0ms

Accuracy

0% (0.1b remaining)

Error of 14.8b against oracle of 14.7b and baseline of 14.8b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02578
12978
done2978

end0.0ms

sample845.0ms

Algorithm
intervals
Results
480.0ms2825×body1280valid
126.0ms4065×body80valid
84.0ms637×body640valid
33.0ms331×body320valid
9.0ms142×body160valid