Details

Time bar (total: 25.1s)

sample128.0ms

Algorithm
intervals
Results
59.0ms256×body80valid
47.0ms284×body80nan

simplify194.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite69.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
37.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
17.0ms
(* 3 (* v v))
9.0ms
(- 1 (* 3 (* v v)))
4.0ms
(- 1 (* v v))

series360.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
174.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
83.0ms
(- 1 (* 3 (* v v)))
67.0ms
(- 1 (* v v))
36.0ms
(* 3 (* v v))

simplify6.3s

Counts
79 → 113
Calls
79 calls:
Slowest
719.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))))))
469.0ms
(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))
420.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
379.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
369.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

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

rewrite102.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
43.0ms
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))
26.0ms
(* 3 (* v v))
5.0ms
(- 1 (* 3 (* v v)))

series470.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
297.0ms
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
110.0ms
(- 1 (* 3 (* v v)))
31.0ms
(* 3 (* v v))
31.0ms
(* 3 (* v v))

simplify7.3s

Counts
93 → 124
Calls
93 calls:
Slowest
418.0ms
(* (sqrt 2) (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))))
399.0ms
(* (sqrt 2) (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))))
395.0ms
(sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
390.0ms
(* 4 (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))))
361.0ms
(/ (exp 1) (exp (* 3 (* v v))))

prune1.7s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

rewrite375.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
320.0ms
(cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))
24.0ms
(* 3 (* v v))
17.0ms
(* 3 (* v v))
13.0ms
(* 3 (* v v))

series156.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
49.0ms
(* 3 (* v v))
39.0ms
(* 3 (* v v))
34.0ms
(* 3 (* v v))
34.0ms
(cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))

simplify2.0s

Counts
43 → 83
Calls
43 calls:
Slowest
271.0ms
(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))
261.0ms
(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))
254.0ms
(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))
242.0ms
(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))
236.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.3s

Algorithm
intervals
Results
1.8s8138×body80nan
1.2s8000×body80valid