Details

Time bar (total: 22.4s)

sample77.0ms

Algorithm
intervals
Results
31.0ms279×body80nan
28.0ms256×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done2088
62088
51910
4775
3235
273
129
014

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
2396×times-frac
1167×add-sqr-sqrt *-un-lft-identity
1030×add-cube-cbrt
864×sqrt-prod
274×difference-of-squares
148×associate-/r*
52×div-inv
30×associate-/l*
19×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp
3×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×flip3-- div-sub associate-/r/ flip--
Counts
3 → 1064
Calls
3 calls:
19.0ms
(/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1)))
37.0ms
(/ (- 1 (* v v)) (/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1))))
4.0ms
(/ 4 (sqrt 2))

series693.0ms

Counts
3 → 7
Calls
3 calls:
383.0ms
(/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1)))
309.0ms
(/ (- 1 (* v v)) (/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1))))
0.0ms
(/ 4 (sqrt 2))

simplify2.0s

Counts
1071 → 1071
Iterations
IterNodes
done2000
12000
01288

prune11.1s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
81×times-frac
59×add-exp-log
54×*-un-lft-identity
46×add-cube-cbrt
41×sqrt-prod
35×add-cbrt-cube
26×div-exp
22×associate-*r* associate-*l*
16×prod-exp
15×unswap-sqr
14×cbrt-undiv
8×cbrt-unprod associate-/l*
7×associate-/r*
5×pow1
4×rec-exp 1-exp associate-/r/ div-inv difference-of-squares
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×frac-times clear-num frac-2neg associate-*l/ associate-*r/ un-div-inv associate-/l/
1×flip3-- div-sub pow-prod-down *-commutative flip--
Counts
3 → 174
Calls
3 calls:
24.0ms
(* (/ 4 (sqrt 2)) (/ 1 (sqrt (fma (* v v) -3 1))))
47.0ms
(/ (- 1 (* v v)) (* (/ 4 (sqrt 2)) (/ 1 (sqrt (fma (* v v) -3 1)))))
4.0ms
(/ 4 (sqrt 2))

series634.0ms

Counts
3 → 7
Calls
3 calls:
317.0ms
(* (/ 4 (sqrt 2)) (/ 1 (sqrt (fma (* v v) -3 1))))
317.0ms
(/ (- 1 (* v v)) (* (/ 4 (sqrt 2)) (/ 1 (sqrt (fma (* v v) -3 1)))))
0.0ms
(/ 4 (sqrt 2))

simplify1.3s

Counts
181 → 181
Iterations
IterNodes
done2001
22001
1908
0315

prune1.8s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations
IterNodes
done17
117
014

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.5s8000×body80valid
1.1s8207×body80nan