Details

sample122.0ms

Algorithm

intervals

Results

59.0ms	263×	body	80	nan
41.0ms	256×	body	80	valid

simplify243.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

242.0ms

(/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ 4/3 (- PI (* (* v v) PI)))
0.2b	(* (* v v) PI)
0.1b	(* (* v -6) v)
0.0b	(- PI (* (* v v) PI))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log`
15×	`add-cube-cbrt`
14×	`pow1`
12×	`times-frac`
6×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
5×	`distribute-rgt-out--`
4×	`associate-/r*` `insert-posit16`
3×	`associate-/l*`
2×	`flip3--` `associate-l` `associate-/r/` `*-commutative` `flip--`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-exp` `div-inv` `unswap-sqr`

Counts

4 → 87

Calls

4 calls:

Slowest

30.0ms	(* (* v v) PI)
29.0ms	(* (* v -6) v)
8.0ms	(- PI (* (* v v) PI))
8.0ms	(/ 4/3 (- PI (* (* v v) PI)))

series277.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

108.0ms	(/ 4/3 (- PI (* (* v v) PI)))
75.0ms	(- PI (* (* v v) PI))
50.0ms	(* (* v -6) v)
43.0ms	(* (* v v) PI)

simplify5.2s

Counts

66 → 99

Calls

66 calls:

Slowest

635.0ms	(* (* (* (* v -6) (* v -6)) (* v -6)) (* (* v v) v))
391.0ms	(+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))
312.0ms	(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
287.0ms	(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
286.0ms	(/ (* (* 4/3 4/3) 4/3) (* (* (- PI (* (* v v) PI)) (- PI (* (* v v) PI))) (- PI (* (* v v) PI))))

prune923.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

2.5b	(log (exp (* (* v v) PI)))
1.0b	(/ 4/3 (- PI (log (exp (* (* v v) PI)))))
0.2b	(* (* v v) PI)
0.1b	(* (* v -6) v)

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
27×	`add-sqr-sqrt`
19×	`pow1`
18×	`times-frac` `add-cube-cbrt`
16×	`add-cbrt-cube` `add-exp-log`
8×	`distribute-lft-out--`
7×	`log-pow`
6×	`associate-/r` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
4×	`insert-posit16` `difference-of-squares`
3×	`log-prod` `associate-/l*`
2×	`associate-l` `associate-/r/` `*-commutative`
1×	`cbrt-undiv` `exp-prod` `clear-num` `frac-2neg` `flip3--` `exp-to-pow` `div-exp` `rem-log-exp` `div-inv` `flip--` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

Slowest

29.0ms	(* (* v v) PI)
29.0ms	(* (* v -6) v)
15.0ms	(/ 4/3 (- PI (log (exp (* (* v v) PI)))))
4.0ms	(log (exp (* (* v v) PI)))

series198.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

87.0ms	(/ 4/3 (- PI (log (exp (* (* v v) PI)))))
42.0ms	(log (exp (* (* v v) PI)))
40.0ms	(* (* v v) PI)
30.0ms	(* (* v -6) v)

simplify14.8s

Counts

82 → 108

Calls

82 calls:

Slowest

772.0ms	(/ 4/3 (- PI (log (exp (* (* v v) PI)))))
530.0ms	(* (* (* (* v -6) (* v -6)) (* v -6)) (* (* v v) v))
419.0ms	(/ (* (* 4/3 4/3) 4/3) (* (* (- PI (log (exp (* (* v v) PI)))) (- PI (log (exp (* (* v v) PI))))) (- PI (log (exp (* (* v v) PI))))))
395.0ms	(/ 4/3 (- PI (log (exp (* (* v v) PI)))))
387.0ms	(/ (cbrt 4/3) (- PI (log (exp (* (* v v) PI)))))

prune1.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.4s	8130×	body	80	nan
1.2s	8000×	body	80	valid