Details

sample72.0ms

Algorithm

intervals

Results

31.0ms	283×	body	80	nan
27.0ms	256×	body	80	valid

simplify224.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

224.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite61.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

32.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
28.0ms	(* 3 (* v v))

series265.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

227.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
38.0ms	(* 3 (* v v))

simplify5.9s

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))))))
446.0ms	(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
436.0ms	(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
399.0ms	(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
398.0ms	(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))

prune728.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 2 expressions with local error:

2.7b	(log (sqrt (fma -3 (* v v) 1)))
0.0b	(+ (log (sqrt (fma -3 (* v v) 1))) (log (/ (sqrt 2) 4)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

34×	`log-prod`
24×	`*-un-lft-identity`
22×	`associate-+r+`
20×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`times-frac`
15×	`sqrt-prod`
10×	`pow1` `log-pow`
6×	`associate-+l+` `fma-def`
4×	`distribute-lft-out`
3×	`add-exp-log`
2×	`expm1-log1p-u` `sqrt-pow1` `add-cbrt-cube` `pow1/2` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`+-commutative` `log-div` `associate-+r-` `sum-log` `flip3-+` `rem-log-exp` `flip-+` `div-inv`

Counts

2 → 73

Calls

2 calls:

Slowest

20.0ms	(+ (log (sqrt (fma -3 (* v v) 1))) (log (/ (sqrt 2) 4)))
3.0ms	(log (sqrt (fma -3 (* v v) 1)))

series660.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

341.0ms	(+ (log (sqrt (fma -3 (* v v) 1))) (log (/ (sqrt 2) 4)))
318.0ms	(log (sqrt (fma -3 (* v v) 1)))

simplify3.0s

Counts

51 → 79

Calls

51 calls:

Slowest

302.0ms	(- (+ (log (sqrt -3)) (* 1/2 (/ 1 (* (pow (sqrt -3) 2) (pow v 2))))) (+ (log (/ -1 v)) (* 1/4 (/ 1 (* (pow (sqrt -3) 4) (pow v 4))))))
285.0ms	(- (+ (log (sqrt -3)) (* 1/2 (/ 1 (* (pow (sqrt -3) 2) (pow v 2))))) (+ (* 1/4 (/ 1 (* (pow (sqrt -3) 4) (pow v 4)))) (log (/ 1 v))))
248.0ms	(- (+ (* 9/4 (pow v 4)) (+ (* 3/2 (pow v 2)) (* 9/2 (pow v 6)))))
241.0ms	(- (log (* 1/4 (sqrt 2))) (+ (* 9/4 (pow v 4)) (* 3/2 (pow v 2))))
226.0ms	(- (+ (log (* 1/4 (sqrt 2))) (+ (log (sqrt -3)) (* 1/2 (/ 1 (* (pow (sqrt -3) 2) (pow v 2)))))) (+ (* 1/4 (/ 1 (* (pow (sqrt -3) 4) (pow v 4)))) (log (/ -1 v))))

prune993.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.6s	8000×	body	80	valid
1.3s	8121×	body	80	nan