Details

sample50.0ms

Algorithm

intervals

Results

26.0ms	256×	body	80	valid
8.0ms	256×	pre	80	true

simplify453.0ms

Calls

1 calls:

Slowest

453.0ms

(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 50.4b

localize47.0ms

Local error

Found 4 expressions with local error:

44.4b	(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
34.8b	(/ (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
0.1b	(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
0.0b	(* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))

rewrite2.0s

Algorithm

rewrite-expression-head

Rules

8261×	`add-sqr-sqrt`
7960×	`times-frac`
5123×	`*-un-lft-identity`
3984×	`associate-r`
2748×	`add-cube-cbrt`
2702×	`associate-l`
1825×	`difference-of-squares`
1388×	`unswap-sqr`
1238×	`swap-sqr`
1022×	`*-commutative`
730×	`distribute-lft-out--`
549×	`distribute-lft-out`
412×	`associate-/l*`
61×	`add-cbrt-cube` `add-exp-log`
48×	`associate-/l/`
40×	`associate-/r*`
22×	`prod-exp` `cbrt-unprod`
19×	`cbrt-undiv` `div-exp`
16×	`pow1`
13×	`div-inv`
6×	`associate-l/` `associate-r/`
4×	`expm1-log1p-u` `pow-prod-down` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg` `flip3-+` `flip-+`
2×	`associate-/r/` `fma-udef`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `flip3--` `pow-sqr` `pow-prod-up` `flip--`

Calls

4 calls:

Slowest

854.0ms	(/ (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
563.0ms	(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
213.0ms	(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
12.0ms	(* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))

series1.1s

Calls

4 calls:

Slowest

425.0ms	(/ (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
364.0ms	(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
183.0ms	(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
83.0ms	(* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))