Details

sample91.0ms

Algorithm

intervals

Results

31.0ms

347×

body

valid

simplify11.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
57	4931
56	4838
55	4749
54	4672
53	4599
52	4506
51	4417
50	4340
49	4267
48	4174
47	4085
46	4008
45	3935
44	3842
43	3753
42	3676
41	3603
40	3510
39	3421
38	3344
37	3271
36	3178
35	3089
34	3012
33	2939
32	2846
31	2757
30	2680
29	2605
28	2514
27	2423
26	2346
25	2271
24	2180
23	2089
22	2012
21	1937
20	1846
19	1755
18	1678
17	1603
16	1510
15	1423
14	1339
13	1235
12	1101
11	767
10	235
9	136
8	109
7	86
6	70
5	62
4	51
3	34
2	20
1	13
0	8

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

70.0ms	(* (- x 1.0) z)
10.0ms	(+ (* x y) (* (- x 1.0) z))

series273.0ms

Counts

2 → 6

Calls

2 calls:

143.0ms	(* (- x 1.0) z)
127.0ms	(+ (* x y) (* (- x 1.0) z))

simplify9.0s

Counts

39 → 39

Iterations

Iter	Nodes
done	5022
3	2666
2	601
1	192
0	71

prune285.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* (- x 1.0) z))) (cbrt (+ (* x y) (* (- x 1.0) z))))
0.5b	(cbrt (+ (* x y) (* (- x 1.0) z)))
0.5b	(cbrt (+ (* x y) (* (- x 1.0) z)))
0.5b	(cbrt (+ (* x y) (* (- x 1.0) z)))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

110.0ms	(* (cbrt (+ (* x y) (* (- x 1.0) z))) (cbrt (+ (* x y) (* (- x 1.0) z))))
11.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))
10.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))
18.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))

series1.9s

Counts

4 → 12

Calls

4 calls:

678.0ms	(* (cbrt (+ (* x y) (* (- x 1.0) z))) (cbrt (+ (* x y) (* (- x 1.0) z))))
423.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))
404.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))
413.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))

simplify6.2s

Counts

99 → 99

Iterations

Iter	Nodes
done	5069
3	2739
2	891
1	339
0	132

prune1.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes503.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	11
1	11
0	8

end0.0ms

sample2.7s

Algorithm

intervals

Results

1.7s

10137×

body

valid