Details

sample91.0ms

Algorithm

intervals

Results

65.0ms

266×

body

valid

simplify240.0ms

Calls

1 calls:

Slowest

240.0ms

(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.7b

localize97.0ms

Local error

Found 4 expressions with local error:

24.7b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)

rewrite3.2m

Algorithm

rewrite-expression-head

Rules

645×	`*-un-lft-identity`
429×	`distribute-lft-out`
351×	`associate-l`
110×	`times-frac`
39×	`add-sqr-sqrt`
33×	`add-cube-cbrt`
12×	`add-cbrt-cube` `add-exp-log`
11×	`associate-/l*`
10×	`pow1` `associate-/r*`
9×	`associate-r`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`insert-posit16` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Calls

4 calls:

Slowest

3.1m	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
3.7s	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
912.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
65.0ms	(* (+ (* x y) z) y)

series639.0ms

Calls

4 calls:

Slowest

387.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
119.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
92.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
41.0ms	(* (+ (* x y) z) y)

simplify56.0s

Calls

283 calls:

Slowest

1.1s	(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
760.0ms	(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
691.0ms	(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)
642.0ms	(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
635.0ms	(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)

prune4.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 24.2b

localize73.0ms

Local error

Found 4 expressions with local error:

24.5b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
0.6b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)

rewrite5.4m

Algorithm

rewrite-expression-head

Rules

318×	`*-un-lft-identity`
188×	`distribute-lft-out`
164×	`associate-l`
62×	`times-frac`
55×	`add-sqr-sqrt`
44×	`add-cube-cbrt`
42×	`associate-r`
40×	`associate-/r*`
32×	`frac-times`
21×	`flip3-+` `add-exp-log` `flip-+`
16×	`associate-*r/`
15×	`add-cbrt-cube`
13×	`associate-/l*`
11×	`pow1`
6×	`associate-*l/` `prod-exp`
5×	`clear-num` `unswap-sqr`
4×	`frac-2neg` `div-exp` `associate-/r/` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`pow-prod-down` `un-div-inv` `*-commutative`
2×	`cbrt-undiv` `rec-exp` `1-exp` `div-inv`
1×	`pow-flip` `inv-pow`

Calls

4 calls:

Slowest

5.0m	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
22.9s	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
988.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
61.0ms	(* (+ (* x y) z) y)

series663.0ms

Calls

4 calls:

Slowest

444.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
99.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
74.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
47.0ms	(* (+ (* x y) z) y)