Details

sample91.0ms

Algorithm

intervals

Results

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

simplify445.0ms

Calls

1 calls:

Slowest

445.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

18×	`frac-times` `sqrt-div`
15×	`flip3--` `flip--`
11×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`add-sqr-sqrt` `associate-r` `associate-*r/`
9×	`-un-lft-identity` `associate-l/` `add-cube-cbrt`
6×	`sqrt-prod`
5×	`associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`rem-sqrt-square` `pow1/2` `div-inv`

Calls

4 calls:

Slowest

31.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
12.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
1.0ms	(sqrt (- 1 (* 3 (* v v))))
1.0ms	(* 3 (* v v))

series238.0ms

Calls

4 calls:

Slowest

110.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
70.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
39.0ms	(sqrt (- 1 (* 3 (* v v))))
19.0ms	(* 3 (* v v))

simplify14.5s

Calls

78 calls:

Slowest

891.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))))))
458.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v)))
453.0ms	(* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v))))
431.0ms	(* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))
406.0ms	(- (* 1/8 (/ 1 (* (pow (sqrt -3) 3) (pow v 3)))) (+ (* 1/2 (/ 1 (* (sqrt -3) v))) (* (sqrt -3) v)))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

18×	`frac-times`
16×	`sqrt-div`
14×	`flip3--` `flip--`
12×	`pow1`
11×	`add-cbrt-cube` `add-exp-log`
10×	`associate-r` `associate-*r/`
9×	`add-sqr-sqrt` `-un-lft-identity` `associate-l/` `add-cube-cbrt`
5×	`associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`log-prod` `*-commutative` `sqrt-prod`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `log-pow`
1×	`exp-prod` `rem-log-exp` `div-inv`

Calls

4 calls:

Slowest

32.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (log (exp (* 3 (* v v))))))) (- 1 (* v v)))
8.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (log (exp (* 3 (* v v)))))))
4.0ms	(log (exp (* 3 (* v v))))
2.0ms	(* 3 (* v v))

series182.0ms

Calls

4 calls:

Slowest

97.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (log (exp (* 3 (* v v))))))) (- 1 (* v v)))
60.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (log (exp (* 3 (* v v)))))))
14.0ms	(* 3 (* v v))
11.0ms	(log (exp (* 3 (* v v))))

simplify14.6s

Calls

76 calls:

Slowest

912.0ms	(* (sqrt 2) (sqrt (- (* 1 1) (* (log (exp (* 3 (* v v)))) (log (exp (* 3 (* v v))))))))
552.0ms	(* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (log (exp (* 3 (* v v)))) 3)))) (- (* 1 1) (* (* v v) (* v v))))
522.0ms	(* (* 4 (sqrt (+ 1 (log (exp (* 3 (* v v))))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
510.0ms	(* 4 (sqrt (+ (* 1 1) (+ (* (log (exp (* 3 (* v v)))) (log (exp (* 3 (* v v))))) (* 1 (log (exp (* 3 (* v v)))))))))
494.0ms	(sqrt (+ (* 1 1) (+ (* (log (exp (* 3 (* v v)))) (log (exp (* 3 (* v v))))) (* 1 (log (exp (* 3 (* v v))))))))

prune1.1s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

2.9b	(log (cbrt (exp (* 3 (* v v)))))
0.2b	(* 3 (* v v))
0.0b	(cbrt (exp (* 3 (* v v))))
0.0b	(+ (* v (+ v v)) (log (cbrt (exp (* 3 (* v v))))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod`
9×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-+r+`
5×	`pow1` `add-exp-log` `add-log-exp`
4×	`add-cbrt-cube` `insert-posit16`
2×	`associate-+l+` `pow1/3` `log-pow`
1×	`distribute-rgt-in` `+-commutative` `sum-log` `distribute-lft-in` `flip3-+` `rem-log-exp` `associate-r` `*-commutative` `flip-+`

Calls

4 calls:

Slowest

7.0ms	(+ (* v (+ v v)) (log (cbrt (exp (* 3 (* v v))))))
5.0ms	(log (cbrt (exp (* 3 (* v v)))))
2.0ms	(cbrt (exp (* 3 (* v v))))
2.0ms	(* 3 (* v v))

series1.3s

Calls

4 calls:

Slowest

650.0ms	(+ (* v (+ v v)) (log (cbrt (exp (* 3 (* v v))))))
517.0ms	(log (cbrt (exp (* 3 (* v v)))))
165.0ms	(cbrt (exp (* 3 (* v v))))
14.0ms	(* 3 (* v v))

simplify924.0ms

Calls

31 calls:

Slowest

81.0ms	(log (cbrt (cbrt (exp (* 3 (* v v))))))
70.0ms	(log (* (cbrt (cbrt (exp (* 3 (* v v))))) (cbrt (cbrt (exp (* 3 (* v v)))))))
70.0ms	(* (exp (* v (+ v v))) (cbrt (exp (* 3 (* v v)))))
64.0ms	(log (cbrt (sqrt (exp (* 3 (* v v))))))
61.0ms	(log (cbrt (exp (* 3 (* v v)))))

prune910.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample3.0s

Algorithm

intervals

Results

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