Details

Time bar (total: 25.0s)

sample68.0ms

Algorithm
intervals
Results
26.0ms284×body80nan
23.0ms256×body80valid

simplify189.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
189.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: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
25×associate-*l*
22×times-frac
21×*-un-lft-identity
20×add-cube-cbrt
17×sqrt-prod
14×add-cbrt-cube add-exp-log
11×pow1
8×add-log-exp
7×associate-*r* unswap-sqr
5×prod-exp cbrt-unprod
4×flip3-- sqrt-div pow-prod-down insert-posit16 flip--
2×frac-times sub-neg diff-log associate-*r/ *-commutative difference-of-squares
1×cbrt-undiv div-exp associate-*l/ div-inv
Counts
4 → 101
Calls
4 calls:
Slowest
19.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
14.0ms
(* 3 (* v v))
11.0ms
(- 1 (* 3 (* v v)))
10.0ms
(- 1 (* v v))

series364.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
188.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
74.0ms
(- 1 (* 3 (* v v)))
53.0ms
(* 3 (* v v))
50.0ms
(- 1 (* v v))

simplify6.4s

Counts
79 → 113
Calls
79 calls:
Slowest
796.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
452.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
427.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
413.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
367.0ms
(- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
30×sqrt-prod
28×associate-*l*
24×times-frac
22×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube add-exp-log
16×pow1
11×associate-*r* unswap-sqr
8×sqrt-div prod-exp cbrt-unprod
7×pow-prod-down
6×add-log-exp
4×insert-posit16
3×flip3-- *-commutative flip--
2×frac-times associate-*r/
1×cbrt-undiv sub-neg diff-log div-exp associate-*l/ div-inv
Counts
4 → 112
Calls
4 calls:
Slowest
40.0ms
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))
14.0ms
(* 3 (* v v))
5.0ms
(- 1 (* 3 (* v v)))

series366.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
233.0ms
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
72.0ms
(- 1 (* 3 (* v v)))
34.0ms
(* 3 (* v v))
27.0ms
(* 3 (* v v))

simplify7.1s

Counts
93 → 124
Calls
93 calls:
Slowest
394.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))))
392.0ms
(* 4 (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))))
368.0ms
(* (sqrt 2) (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))))
359.0ms
(* (sqrt 2) (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))))
356.0ms
(sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))

prune1.8s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

21.6b
(cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))
0.2b
(* 3 (* v v))
0.2b
(* 3 (* v v))
0.2b
(* 3 (* v v))

rewrite382.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×associate-*l* pow-prod-down prod-exp cbrt-unprod
7×*-un-lft-identity add-cube-cbrt
4×insert-posit16 add-log-exp
3×associate-*r* *-commutative unswap-sqr
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 71
Calls
4 calls:
Slowest
327.0ms
(cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))
23.0ms
(* 3 (* v v))
17.0ms
(* 3 (* v v))
14.0ms
(* 3 (* v v))

series149.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
39.0ms
(* 3 (* v v))
38.0ms
(cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))
36.0ms
(* 3 (* v v))
35.0ms
(* 3 (* v v))

simplify2.0s

Counts
43 → 83
Calls
43 calls:
Slowest
267.0ms
(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))
236.0ms
(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))
216.0ms
(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))
216.0ms
(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))
212.0ms
(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))

prune1.5s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.6s8000×body80valid
1.4s8138×body80nan