Details

sample38.0ms

Algorithm

intervals

Results

13.0ms

317×

body

valid

simplify14.0s

Counts

1 → 1

Iterations

Useful iterations: 4 (90.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	34	9
3	92	9
4	190	8
5	409	8
6	586	8
7	695	8
8	901	8
9	1051	8
10	1256	8
11	1500	8
12	2071	8
13	2349	8
14	2564	8
15	2572	8
done	2572	8

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.8b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 y) z)
3.6b	(* x (- 1.0 (* (- 1.0 y) z)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
8×	`add-cube-cbrt` `associate-l`
6×	`pow1` `add-exp-log` `associate-r` `prod-diff` `add-cbrt-cube`
5×	`distribute-rgt-in` `distribute-lft-in`
2×	`expm1-log1p-u` `sub-neg` `flip3--` `associate-r/` `pow-prod-down` `associate-l/` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

2 → 56

Calls

2 calls:

51.0ms	(* (- 1.0 y) z)
30.0ms	(* x (- 1.0 (* (- 1.0 y) z)))

series121.0ms

Counts

2 → 6

Calls

2 calls:

57.0ms	(* (- 1.0 y) z)
64.0ms	(* x (- 1.0 (* (- 1.0 y) z)))

simplify3.3s

Counts

62 → 62

Iterations

Useful iterations: done (3.3s)

Iter	Nodes	Cost
0	114	726
1	245	706
2	727	616
3	2853	565
done	5001	523

prune158.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

2.8b	(* (* x z) (- y 1.0))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

18×	`prod-diff`
16×	`add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`associate-r`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`sub-neg` `associate-*r/`
1×	`expm1-log1p-u` `flip3--` `associate-l` `*-commutative` `flip--` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 46

Calls

1 calls:

38.0ms

(* (* x z) (- y 1.0))

series63.0ms

Counts

1 → 3

Calls

1 calls:

63.0ms

(* (* x z) (- y 1.0))

simplify3.8s

Counts

49 → 49

Iterations

Useful iterations: done (3.8s)

Iter	Nodes	Cost
0	114	877
1	283	708
2	863	568
3	3483	490
done	5001	400

prune85.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- y 1.0))
0.2b	(cbrt (- y 1.0))
0.4b	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
2.5b	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

rewrite386.0ms

Algorithm

rewrite-expression-head

Rules

70×	`cbrt-div`
42×	`associate-*r/`
35×	`flip3--` `flip--`
34×	`pow1` `add-exp-log`
32×	`frac-times`
21×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
16×	`associate-*l/`
15×	`cbrt-prod`
14×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`associate-r`
8×	`add-cube-cbrt`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `associate-l` `*-commutative`

Counts

4 → 126

Calls

4 calls:

4.0ms	(cbrt (- y 1.0))
4.0ms	(cbrt (- y 1.0))
279.0ms	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
91.0ms	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

series603.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(cbrt (- y 1.0))
138.0ms	(cbrt (- y 1.0))
105.0ms	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
252.0ms	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

simplify1.6s

Counts

138 → 138

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	240	2969
1	659	2819
2	2260	2380
done	5000	2198

prune404.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (cbrt (- y 1.0)))
0.3b	(cbrt (cbrt (- y 1.0)))
0.4b	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))) (cbrt (cbrt (- y 1.0)))))
2.5b	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

rewrite667.0ms

Algorithm

rewrite-expression-head

Rules

1316×	`cbrt-div`
572×	`frac-times`
413×	`flip3--` `flip--`
378×	`associate-*r/`
190×	`associate-*l/`
85×	`pow1` `add-exp-log`
62×	`pow-prod-down` `prod-exp` `cbrt-unprod`
49×	`add-cbrt-cube`
26×	`cbrt-prod`
12×	`add-sqr-sqrt` `*-un-lft-identity`
8×	`add-cube-cbrt`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`pow1/3` `associate-r` `associate-l` `*-commutative` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 371

Calls

4 calls:

7.0ms	(cbrt (cbrt (- y 1.0)))
7.0ms	(cbrt (cbrt (- y 1.0)))
469.0ms	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))) (cbrt (cbrt (- y 1.0)))))
86.0ms	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

series572.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(cbrt (cbrt (- y 1.0)))
126.0ms	(cbrt (cbrt (- y 1.0)))
93.0ms	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))) (cbrt (cbrt (- y 1.0)))))
202.0ms	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

simplify981.0ms

Counts

383 → 383

Iterations

Useful iterations: done (951.0ms)

Iter	Nodes	Cost
0	623	21434
1	2110	20141
done	5001	18320

prune1.1s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes180.0ms

Accuracy

0% (1.6b remaining)

Error of 1.6b against oracle of 0.0b and baseline of 1.6b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	13	11
done	13	11

end0.0ms

sample760.0ms

Algorithm

intervals

Results

316.0ms

10059×

body

valid