Details

Time bar (total: 5.0s)

sample74.0ms

Algorithm
intervals
Results
33.0ms292×body80nan
25.0ms256×body80valid

simplify162.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
162.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 1 expressions with local error:

0.2b
(* 3 (* v v))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
3×add-sqr-sqrt associate-*l* pow-prod-down prod-exp cbrt-unprod
2×*-un-lft-identity add-cube-cbrt
1×associate-*r* *-commutative insert-posit16 add-log-exp unswap-sqr
Counts
1 → 20
Calls
1 calls:
Slowest
19.0ms
(* 3 (* v v))

series38.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
38.0ms
(* 3 (* v v))

simplify1.3s

Counts
23 → 23
Calls
23 calls:
Slowest
458.0ms
(* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v)))
257.0ms
(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))
243.0ms
(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))
84.0ms
(exp (* 3 (* v v)))
39.0ms
(log (* 3 (* v v)))

prune252.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s7702×body80nan
1.2s8000×body80valid