Details

sample56.0ms

Algorithm

intervals

Results

23.0ms	241×	body	80	nan
22.0ms	256×	body	80	valid

simplify635.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

635.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

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

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`associate-l`
22×	`times-frac`
18×	`*-un-lft-identity` `add-cube-cbrt`
17×	`sqrt-prod`
12×	`add-cbrt-cube` `add-exp-log`
9×	`pow1`
7×	`associate-r` `unswap-sqr`
5×	`prod-exp` `cbrt-unprod`
4×	`sqrt-div` `pow-prod-down`
2×	`expm1-log1p-u` `frac-times` `flip3--` `associate-r/` `-commutative` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
1×	`cbrt-undiv` `div-exp` `associate-*l/` `div-inv`

Counts

2 → 77

Calls

2 calls:

Slowest

39.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
24.0ms	(* 3 (* v v))

series296.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

247.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
49.0ms	(* 3 (* v v))

simplify5.8s

Counts

67 → 83

Calls

67 calls:

Slowest

1.0s	(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
471.0ms	(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
399.0ms	(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
396.0ms	(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
390.0ms	(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))

prune788.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize44.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3 (* v v))

rewrite20.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×	`expm1-log1p-u` `associate-r` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

1 → 22

Calls

1 calls:

Slowest

19.0ms

(* 3 (* v v))

series42.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

42.0ms

(* 3 (* v v))

simplify578.0ms

Counts

13 → 25

Calls

13 calls:

Slowest

244.0ms	(* (* (* 3 3) 3) (* (* (* v v) (* v v)) (* v v)))
213.0ms	(* (* (* 3 3) 3) (* (* (* v v) v) (* (* v v) v)))
26.0ms	(+ (log 3) (log (* v v)))
21.0ms	(* 3 (pow v 2))
16.0ms	(* 3 (pow v 2))

prune336.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.5s	8000×	body	80	valid
1.2s	7875×	body	80	nan