Details

Time bar (total: 22.3s)

sample70.0ms

Algorithm
intervals
Results
25.0ms281×body80nan
23.0ms256×body80valid

simplify4.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01419
12719
27019
319219
440019
575319
6105819
7120219
8131219
9131819
done131819

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b
(* (/ (sqrt 2.0) 4.0) (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))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
24×add-cube-cbrt *-un-lft-identity
23×add-exp-log add-cbrt-cube
22×times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
11×associate-*r*
10×associate-*r/ prod-exp cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 142
Calls
4 calls:
17.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
50.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
104.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
41.0ms
(* 3.0 (* v v))

series888.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
271.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
475.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
41.0ms
(* 3.0 (* v v))

simplify2.3s

Counts
154 → 154
Iterations

Useful iterations: done (2.3s)

IterNodesCost
03013466
18583174
231892946
done50002938

prune703.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
27×*-un-lft-identity
26×associate-*l*
24×add-cube-cbrt
23×add-exp-log add-cbrt-cube
22×times-frac
20×sqrt-prod
18×pow1 frac-times
16×sqrt-div
14×flip3-- associate-*r* flip--
10×associate-*r/ prod-exp cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in add-log-exp
4×expm1-log1p-u log-pow log1p-expm1-u
3×log-prod *-commutative
2×cbrt-undiv sub-neg div-exp distribute-lft-out-- difference-of-squares
1×exp-prod exp-to-pow rem-log-exp div-inv
Counts
4 → 144
Calls
4 calls:
77.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
121.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
31.0ms
(* 3.0 (* v v))
10.0ms
(log (exp (* 3.0 (* v v))))

series920.0ms

Counts
4 → 12
Calls
4 calls:
291.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
525.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
54.0ms
(* 3.0 (* v v))
50.0ms
(log (exp (* 3.0 (* v v))))

simplify2.2s

Counts
156 → 156
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03023688
18243057
230162839
done50002831

prune731.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log add-cbrt-cube
24×sqrt-div
20×pow1
16×frac-times
14×prod-exp cbrt-unprod
13×add-sqr-sqrt
12×flip3-- flip--
10×add-cube-cbrt *-un-lft-identity
9×pow-prod-down
8×associate-*r/ associate-*l/
7×associate-*l*
6×associate-*r* prod-diff
5×distribute-rgt-in distribute-lft-in add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×log-prod log-pow *-commutative
2×cbrt-undiv sub-neg div-exp unswap-sqr
1×exp-prod exp-to-pow rem-log-exp difference-of-squares
Counts
4 → 110
Calls
4 calls:
371.0ms
(* (* (/ (* (sqrt 2.0) (sqrt (sqrt (- 1.0 (* 3.0 (* v v)))))) 4.0) (sqrt (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))) (- 1.0 (* v v)))
44.0ms
(* 3.0 (* v v))
35.0ms
(* 3.0 (* v v))
10.0ms
(log (exp (* 3.0 (* v v))))

series641.0ms

Counts
4 → 12
Calls
4 calls:
517.0ms
(* (* (/ (* (sqrt 2.0) (sqrt (sqrt (- 1.0 (* 3.0 (* v v)))))) 4.0) (sqrt (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))) (- 1.0 (* v v)))
45.0ms
(* 3.0 (* v v))
51.0ms
(* 3.0 (* v v))
28.0ms
(log (exp (* 3.0 (* v v))))

simplify2.6s

Counts
122 → 122
Iterations

Useful iterations: done (2.6s)

IterNodesCost
02613463
17472447
229612151
done50012143

prune815.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
37×add-exp-log add-cbrt-cube
25×add-sqr-sqrt
18×pow1 associate-*r/
16×prod-exp cbrt-unprod
14×add-cube-cbrt *-un-lft-identity sqrt-div prod-diff
13×flip3-- associate-*r* flip--
10×associate-*l* sqrt-prod
9×distribute-rgt-in distribute-lft-in pow-prod-down
8×frac-times associate-/l/
7×unpow-prod-down
6×cbrt-undiv div-exp
5×unswap-sqr
4×expm1-log1p-u associate-*l/ log1p-expm1-u add-log-exp
3×*-commutative difference-of-squares sqr-pow
2×sub-neg sqrt-pow1 pow1/2
1×frac-2neg times-frac sqrt-unprod clear-num associate-/r* div-inv associate-/l*
Counts
4 → 139
Calls
4 calls:
115.0ms
(* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (pow v 4)))
22.0ms
(* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
90.0ms
(/ (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (pow v 4))) (* (fma v v 1.0) 4.0))
18.0ms
(* 3.0 (* v v))

series1.1s

Counts
4 → 12
Calls
4 calls:
281.0ms
(* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (pow v 4)))
214.0ms
(* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
581.0ms
(/ (* (* (sqrt 2.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (* 1.0 1.0) (pow v 4))) (* (fma v v 1.0) 4.0))
33.0ms
(* 3.0 (* v v))

simplify3.2s

Counts
151 → 151
Iterations

Useful iterations: 2 (1.3s)

IterNodesCost
03624304
110283778
249743295
done50003295

prune660.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.0ms