Details

sample70.0ms

Algorithm

intervals

Results

36.0ms

410×

body

valid

simplify1.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
4	2024
3	382
2	112
1	38
0	18

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b	(* (- (+ y t) 2.0) b)
0.0b	(* (- y 1.0) z)
0.0b	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

rewrite277.0ms

Algorithm

rewrite-expression-head

Rules

28×	`associate-*l/`
23×	`flip3--` `flip--`
18×	`add-log-exp`
16×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
12×	`frac-add` `frac-sub`
11×	`associate-l`
8×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`diff-log` `associate-r`
4×	`associate-+l+` `sub-neg` `associate--l+`
3×	`sum-log` `distribute-lft-out--`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`associate--l-` `+-commutative` `flip3-+` `associate-+l-` `flip-+` `distribute-lft-out`

Counts

4 → 95

Calls

4 calls:

33.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
95.0ms	(* (- (+ y t) 2.0) b)
30.0ms	(* (- y 1.0) z)
116.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

series467.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
37.0ms	(* (- (+ y t) 2.0) b)
48.0ms	(* (- y 1.0) z)
252.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

simplify2.7s

Counts

107 → 107

Iterations

Iter	Nodes
done	5004
2	4518
1	859
0	246

prune810.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
0.5b	(cbrt (* (- (+ y t) 2.0) b))
0.5b	(cbrt (* (- (+ y t) 2.0) b))
0.5b	(cbrt (* (- (+ y t) 2.0) b))

rewrite205.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*l/`
18×	`cbrt-div`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`flip3--` `pow1/3` `flip--`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `add-log-exp`
2×	`pow-prod-down` `associate-*r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

113.0ms	(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
25.0ms	(cbrt (* (- (+ y t) 2.0) b))
26.0ms	(cbrt (* (- (+ y t) 2.0) b))
38.0ms	(cbrt (* (- (+ y t) 2.0) b))

series770.0ms

Counts

4 → 12

Calls

4 calls:

241.0ms	(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
188.0ms	(cbrt (* (- (+ y t) 2.0) b))
162.0ms	(cbrt (* (- (+ y t) 2.0) b))
179.0ms	(cbrt (* (- (+ y t) 2.0) b))

simplify1.2s

Counts

84 → 84

Iterations

Iter	Nodes
done	5001
2	1326
1	405
0	159

prune848.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (- x (/ (* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.1b	(* y (* y y))
2.9b	(* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0))))
12.3b	(/ (* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))

rewrite1.9s

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `associate-*l/`
18×	`flip3--` `flip--`
16×	`add-cbrt-cube` `add-exp-log`
13×	`add-log-exp`
12×	`add-sqr-sqrt` `frac-add`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`frac-sub`
6×	`associate-l`
5×	`associate-r` `prod-exp` `pow-prod-up` `cbrt-unprod`
4×	`associate-+l+` `sub-neg` `pow-prod-down` `associate-*r/`
3×	`associate-/r*` `sum-log` `times-frac` `diff-log` `cube-unmult`
2×	`distribute-rgt-in` `cbrt-undiv` `distribute-lft-in` `flip3-+` `div-exp` `associate--l+` `associate-/r/` `*-commutative` `flip-+` `unswap-sqr` `associate-/l/`
1×	`pow2` `difference-cubes` `+-commutative` `clear-num` `frac-2neg` `pow-plus` `pow-sqr` `associate-+l-` `div-inv` `associate-/l*`

Counts

4 → 104

Calls

4 calls:

1.7s	(+ (- (- x (/ (* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
26.0ms	(* y (* y y))
91.0ms	(* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0))))
58.0ms	(/ (* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))

series955.0ms

Counts

4 → 12

Calls

4 calls:

547.0ms	(+ (- (- x (/ (* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
50.0ms	(* y (* y y))
118.0ms	(* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0))))
238.0ms	(/ (* z (- (* y (* y y)) (* 1.0 (* 1.0 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))

simplify2.4s

Counts

116 → 116

Iterations

Iter	Nodes
done	5000
1	1094
0	298

prune920.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize160.0ms

Local error

Found 4 expressions with local error:

4.9b	(* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))
10.1b	(- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t)))))
15.0b	(+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))))
46.7b	(/ (+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0)))) (* (* (+ 1.0 t) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))) (+ x (* (- y 1.0) z))))

rewrite2.2m

Algorithm

rewrite-expression-head

Rules

838304×	`frac-times`
728658×	`associate-*r/`
600099×	`flip3-+` `flip-+`
412248×	`associate-*l/`
387752×	`frac-add`
222167×	`flip3--` `flip--`
205712×	`frac-sub`
105198×	`associate-/l/`
1978×	`sub-div`
170×	`associate-/r/`
30×	`distribute-rgt-in` `distribute-lft-in`
18×	`add-cbrt-cube` `add-exp-log`
9×	`pow1`
8×	`associate-+l+` `associate--r+` `add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`prod-exp` `cbrt-unprod`
3×	`cbrt-undiv` `times-frac` `div-exp` `associate-l` `pow-prod-down` `associate-/l*`
2×	`associate-+r+` `associate--l+`
1×	`+-commutative` `clear-num` `associate-/r` `sum-log` `sub-neg` `frac-2neg` `diff-log` `associate-r` `-commutative` `div-inv`

Counts

4 → 210870

Calls

4 calls:

46.0ms	(* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))
134.0ms	(- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t)))))
3.5s	(+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))))
13.9s	(/ (+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0)))) (* (* (+ 1.0 t) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))) (+ x (* (- y 1.0) z))))

series45.6s

Counts

4 → 12

Calls

4 calls:

156.0ms	(* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))
940.0ms	(- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t)))))
9.6s	(+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))))
34.9s	(/ (+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0)))) (* (* (+ 1.0 t) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))) (+ x (* (- y 1.0) z))))

simplify6.8m

Iterations

Iter	Nodes
done	468271
0	468271