Details

sample109.0ms

Algorithm

intervals

Results

83.0ms

265×

body

valid

simplify241.0ms

Calls

1 calls:

Slowest

241.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: 25.5b

localize98.0ms

Local error

Found 4 expressions with local error:

25.5b	(/ (+ (* (+ (* (+ (* (+ (* 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	(* (+ (* (+ y a) y) b) y)
0.1b	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)

rewrite3.4m

Algorithm

rewrite-expression-head

Rules

652×	`*-un-lft-identity`
434×	`distribute-lft-out`
357×	`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))
13.3s	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
889.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
271.0ms	(* (+ (* (+ y a) y) b) y)

series732.0ms

Calls

4 calls:

Slowest

478.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
115.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
76.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
63.0ms	(* (+ (* (+ y a) y) b) y)

simplify55.5s

Calls

283 calls:

Slowest

797.0ms	(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
732.0ms	(* (+ (pow (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 3) (pow 230661.510616 3)) y)
697.0ms	(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)
662.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
629.0ms	(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)

prune4.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 25.0b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.2m

Algorithm

rewrite-expression-head

Rules

234×	`*-un-lft-identity`
138×	`distribute-lft-out`
136×	`associate-l`
45×	`associate-r`
44×	`add-sqr-sqrt`
32×	`frac-times` `times-frac`
31×	`add-cube-cbrt`
30×	`associate-/r*`
21×	`flip3-+` `flip-+`
19×	`add-exp-log`
16×	`associate-*r/`
15×	`add-cbrt-cube`
12×	`pow1`
10×	`associate-/l*`
8×	`associate-*l/`
7×	`prod-exp`
6×	`unswap-sqr`
5×	`cbrt-unprod`
4×	`clear-num` `pow-prod-down` `*-commutative` `insert-posit16` `add-log-exp`
3×	`frac-2neg` `un-div-inv`
2×	`div-exp` `associate-/r/`
1×	`cbrt-undiv` `rec-exp` `1-exp` `div-inv`

Calls

4 calls:

Slowest

4.9m	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
13.3s	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
886.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
227.0ms	(* (+ (* (+ y a) y) b) y)

series762.0ms

Calls

4 calls:

Slowest

497.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
113.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
88.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
63.0ms	(* (+ (* (+ y a) y) b) y)