Details

sample107.0ms

Algorithm

intervals

Results

52.0ms	256×	body	80	valid
37.0ms	245×	body	80	nan

simplify4.9s

Counts: 1 → 1

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

204×	`times-frac`
134×	`*-un-lft-identity`
111×	`add-sqr-sqrt`
109×	`add-cube-cbrt`
57×	`sqrt-prod`
25×	`distribute-rgt-out--`
21×	`add-cbrt-cube` `add-exp-log` `associate-/l*`
18×	`associate-/r/`
14×	`pow1`
10×	`associate-/r*`
9×	`flip3--` `div-inv` `flip--`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`clear-num` `frac-2neg` `sqrt-div` `*-commutative` `unswap-sqr`
1×	`associate-/l/`

Counts

4 → 224

Calls

4 calls:

Slowest

31.0ms	(* 6 (* v v))
31.0ms	(/ (/ 4/3 (- PI (* (* v v) PI))) (sqrt (- 2 (* 6 (* v v)))))
28.0ms	(* (* v v) PI)
12.0ms	(/ 4/3 (- PI (* (* v v) PI)))

series592.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

411.0ms	(/ (/ 4/3 (- PI (* (* v v) PI))) (sqrt (- 2 (* 6 (* v v)))))
92.0ms	(/ 4/3 (- PI (* (* v v) PI)))
49.0ms	(* 6 (* v v))
39.0ms	(* (* v v) PI)

simplify1.7s

Counts: 236 → 236

prune2.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize75.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216))))
1.0b	(/ (/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216)))) (- PI (* (* v v) PI)))
0.2b	(* (* v v) PI)
0.2b	(* 6 (* v v))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

204×	`times-frac`
136×	`*-un-lft-identity`
113×	`add-sqr-sqrt`
111×	`add-cube-cbrt`
57×	`sqrt-prod`
27×	`associate-/l*`
25×	`distribute-rgt-out--`
21×	`add-cbrt-cube` `add-exp-log`
14×	`pow1` `associate-/r/`
12×	`sqrt-div`
10×	`associate-/r*`
7×	`flip3--` `div-inv` `flip--`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`clear-num` `frac-2neg` `*-commutative` `unswap-sqr`
1×	`associate-/l/`

Counts

4 → 224

Calls

4 calls:

Slowest

26.0ms	(/ (/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216)))) (- PI (* (* v v) PI)))
25.0ms	(* 6 (* v v))
16.0ms	(* (* v v) PI)
14.0ms	(/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216))))

series1.3s

Counts

4 → 12

Calls

4 calls:

Slowest

652.0ms	(/ (/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216)))) (- PI (* (* v v) PI)))
577.0ms	(/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216))))
37.0ms	(* (* v v) PI)
35.0ms	(* 6 (* v v))

simplify1.7s

Counts: 236 → 236

prune3.8s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize82.0ms

Local error

Found 4 expressions with local error:

2.8b	(log (exp (* (* v v) PI)))
1.0b	(/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216))))
1.0b	(/ (/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216)))) (- PI (log (exp (* (* v v) PI)))))
0.2b	(* (* v v) PI)

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
212×	`*-un-lft-identity`
188×	`add-sqr-sqrt`
137×	`add-cube-cbrt`
75×	`sqrt-prod`
50×	`distribute-lft-out--`
35×	`pow1`
28×	`log-pow`
27×	`associate-/l*`
25×	`difference-of-squares`
18×	`associate-/r/`
16×	`add-cbrt-cube` `sqrt-div` `add-exp-log`
12×	`associate-/r*`
9×	`flip3--` `div-inv` `flip--`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `insert-posit16`
3×	`log-prod` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`clear-num` `frac-2neg`
1×	`exp-prod` `exp-to-pow` `rem-log-exp` `associate-l` `*-commutative` `unswap-sqr` `associate-/l/`

Counts

4 → 269

Calls

4 calls:

Slowest

25.0ms	(/ (/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216)))) (- PI (log (exp (* (* v v) PI)))))
14.0ms	(* (* v v) PI)
14.0ms	(/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216))))
6.0ms	(log (exp (* (* v v) PI)))

series853.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

516.0ms	(/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216))))
261.0ms	(/ (/ 4/3 (sqrt (- 8 (* (* (* v (* v v)) (* v (* v v))) 216)))) (- PI (log (exp (* (* v v) PI)))))
42.0ms	(* (* v v) PI)
33.0ms	(log (exp (* (* v v) PI)))

simplify1.6s

Counts: 281 → 281

prune4.8s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample3.0s

Algorithm

intervals

Results

1.6s	8000×	body	80	valid
1.2s	8216×	body	80	nan