Details

Time bar (total: 34.7s)

sample91.0ms

Algorithm
intervals
Results
38.0ms256×body80valid
33.0ms216×body80nan

simplify1.4s

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite83.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:
17.0ms
(/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1)))
26.0ms
(/ (- 1 (* v v)) (/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1))))
5.0ms
(/ 4 (sqrt 2))

series563.0ms

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

simplify2.1s

Counts
1071 → 1071
Iterations
IterNodes
done2000
12000
01288

prune4.7s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 3 expressions with local error:

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

rewrite313.0ms

Algorithm
rewrite-expression-head
Rules
9854×times-frac
4394×add-sqr-sqrt *-un-lft-identity
3850×add-cube-cbrt
2544×sqrt-prod
1088×difference-of-squares
698×associate-/r*
154×div-inv
44×add-exp-log
30×div-exp
28×associate-/l*
24×add-cbrt-cube
14×cbrt-undiv
9×associate-/r/
4×pow1 rec-exp flip3-- 1-exp flip--
3×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
3 → 2999
Calls
3 calls:
18.0ms
(/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1)))
59.0ms
(/ 1 (/ (/ (/ 4 (sqrt 2)) (sqrt (fma (* v v) -3 1))) (- 1 (* v v))))
8.0ms
(/ 4 (sqrt 2))

series1.0s

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

simplify4.2s

Counts
3006 → 3006
Iterations
IterNodes
done3671
03671

prune17.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify5.0ms

Iterations
IterNodes
done16
116
014

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.3s8000×body80valid
1.1s7822×body80nan