Details

Time bar (total: 29.8s)

sample86.0ms

Algorithm
intervals
Results
29.0ms256×body80valid
28.0ms246×body80nan

simplify5.4s

Counts
1 → 1
Iterations
IterNodes
done1176
101176
91169
81023
7838
6699
5568
4353
3177
270
127
014

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize115.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.0b
(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.2b
(* 3.0 (* v v))

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
26×associate-*l*
23×add-cbrt-cube add-exp-log
22×*-un-lft-identity times-frac add-cube-cbrt
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
11×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
4×insert-posit16 add-log-exp
3×*-commutative
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 132
Calls
4 calls:
81.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
11.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
148.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
56.0ms
(* 3.0 (* v v))

series935.0ms

Counts
4 → 12
Calls
4 calls:
299.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
96.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
502.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
37.0ms
(* 3.0 (* v v))

simplify6.6s

Counts
144 → 144
Iterations
IterNodes
done5014
23328
1849
0282

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize271.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- 1.0 (* v v)) (/ (sqrt 2.0) 4.0))
0.2b
(* 3.0 (* v v))
0.2b
(* 3.0 (* v v))
0.2b
(* 3.0 (* v v))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
25×associate-*r*
24×add-cbrt-cube add-exp-log
21×pow1 *-un-lft-identity add-cube-cbrt
20×times-frac
13×associate-*l*
11×prod-exp cbrt-unprod
10×pow-prod-down sqrt-prod
6×unswap-sqr
4×*-commutative insert-posit16 add-log-exp
2×frac-times flip3-- associate-*l/ flip--
1×cbrt-undiv div-exp associate-*r/ div-inv difference-of-squares
Counts
4 → 108
Calls
4 calls:
107.0ms
(* (- 1.0 (* v v)) (/ (sqrt 2.0) 4.0))
60.0ms
(* 3.0 (* v v))
59.0ms
(* 3.0 (* v v))
48.0ms
(* 3.0 (* v v))

series324.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(* (- 1.0 (* v v)) (/ (sqrt 2.0) 4.0))
32.0ms
(* 3.0 (* v v))
46.0ms
(* 3.0 (* v v))
38.0ms
(* 3.0 (* v v))

simplify4.0s

Counts
120 → 120
Iterations
IterNodes
done5000
21307
1394
0146

prune1.2s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize319.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 1.0 (* 3.0 (* v v))) (- 1.0 (* 3.0 (* v v))))
0.2b
(* 3.0 (* v v))
0.2b
(* 3.0 (* v v))
0.2b
(* 3.0 (* v v))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
14×add-sqr-sqrt
12×associate-*l*
10×pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×frac-times *-commutative insert-posit16 add-log-exp unswap-sqr
3×flip3-+ flip3-- flip-+ flip--
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
Counts
4 → 91
Calls
4 calls:
84.0ms
(* (+ 1.0 (* 3.0 (* v v))) (- 1.0 (* 3.0 (* v v))))
44.0ms
(* 3.0 (* v v))
52.0ms
(* 3.0 (* v v))
41.0ms
(* 3.0 (* v v))

series543.0ms

Counts
4 → 12
Calls
4 calls:
369.0ms
(* (+ 1.0 (* 3.0 (* v v))) (- 1.0 (* 3.0 (* v v))))
56.0ms
(* 3.0 (* v v))
58.0ms
(* 3.0 (* v v))
60.0ms
(* 3.0 (* v v))

simplify3.7s

Counts
103 → 103
Iterations
IterNodes
done5010
21236
1314
0101

prune1.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify11.0ms

Iterations
IterNodes
done28
128
021

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.3s8172×body80nan
1.0s8000×body80valid