Details

Time bar (total: 3.1m)

sample129.0ms

Algorithm
intervals
Results
60.0ms256×body80valid
47.0ms295×body80nan

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
62589
51659
4778
3233
271
127
014

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 3 expressions with local error:

0.0b
(sqrt (fma (* v v) -3 1))
0.0b
(/ (/ 4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))
0.0b
(/ (sqrt 2) (/ (/ 4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
2523×times-frac
1200×add-sqr-sqrt
1199×*-un-lft-identity
1052×add-cube-cbrt
903×sqrt-prod
294×difference-of-squares
136×associate-/r*
99×associate-/r/
58×div-inv
49×flip3-- flip--
27×associate-/l*
17×add-cbrt-cube add-exp-log
9×cbrt-undiv div-exp
4×pow1
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-/l/
Counts
3 → 1123
Calls
3 calls:
2.0ms
(sqrt (fma (* v v) -3 1))
24.0ms
(/ (/ 4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))
34.0ms
(/ (sqrt 2) (/ (/ 4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))

series692.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(sqrt (fma (* v v) -3 1))
295.0ms
(/ (/ 4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))
317.0ms
(/ (sqrt 2) (/ (/ 4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))

simplify6.7s

Counts
1132 → 1132
Iterations
IterNodes
14000
01418

prune14.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (* 1/4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))
0.0b
(sqrt (fma (* v v) -3 1))
0.0b
(* (sqrt 2) (* (* 1/4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1
17×add-cbrt-cube add-exp-log
9×add-sqr-sqrt pow-prod-down prod-exp sqrt-prod cbrt-unprod
8×*-un-lft-identity add-cube-cbrt
7×associate-*r* associate-*l*
6×associate-*r/
4×associate-*l/
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×flip3-- *-commutative flip--
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
3 → 71
Calls
3 calls:
24.0ms
(* (* 1/4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))
2.0ms
(sqrt (fma (* v v) -3 1))
131.0ms
(* (sqrt 2) (* (* 1/4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))

series587.0ms

Counts
3 → 9
Calls
3 calls:
198.0ms
(* (* 1/4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1)))
62.0ms
(sqrt (fma (* v v) -3 1))
326.0ms
(* (sqrt 2) (* (* 1/4 (- 1 (* v v))) (sqrt (fma (* v v) -3 1))))

simplify4.1s

Counts
80 → 80
Iterations
IterNodes
36690
21659
1461
0170

prune935.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (sqrt (- 1 (* v v))) (cbrt 4))
1.0b
(/ (sqrt (cbrt 2)) (/ (/ (cbrt 4) (sqrt (- 1 (* v v)))) (sqrt (fma (* v v) -3 1))))
1.0b
(cbrt 2)
1.0b
(cbrt 2)

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
9120×times-frac
5429×sqrt-prod
4222×add-sqr-sqrt *-un-lft-identity
3855×add-cube-cbrt
2460×cbrt-prod
734×difference-of-squares
334×associate-/r*
122×sqrt-div
121×associate-/r/
72×div-inv
61×flip3-- flip--
17×associate-/l*
15×add-exp-log
13×add-cbrt-cube
7×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow1/3 associate-/l/
Counts
4 → 3416
Calls
4 calls:
19.0ms
(/ (sqrt (- 1 (* v v))) (cbrt 4))
29.0ms
(/ (sqrt (cbrt 2)) (/ (/ (cbrt 4) (sqrt (- 1 (* v v)))) (sqrt (fma (* v v) -3 1))))
1.0ms
(cbrt 2)
1.0ms
(cbrt 2)

series934.0ms

Counts
4 → 8
Calls
4 calls:
250.0ms
(/ (sqrt (- 1 (* v v))) (cbrt 4))
683.0ms
(/ (sqrt (cbrt 2)) (/ (/ (cbrt 4) (sqrt (- 1 (* v v)))) (sqrt (fma (* v v) -3 1))))
0.0ms
(cbrt 2)
0.0ms
(cbrt 2)

simplify1.8m

Counts
3424 → 3424
Iterations
IterNodes
110108
03468

prune47.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes42.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
216
116
013

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.2s8000×body80valid
833.0ms7944×body80nan