Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

364×

body

valid

simplify5.4s

Counts

1 → 1

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	8	164
1	19	164
2	46	139
3	91	139
4	132	139
5	172	139
6	210	139
7	394	139
8	805	139
9	1121	139
10	1276	139
11	1529	139
12	1738	139
13	1989	139
14	2190	139
15	2436	139
16	2638	139
17	2887	139
18	3080	139
19	3315	139
20	3507	139
21	3748	139
22	3940	139
23	4175	139
24	4368	139
25	4598	139
26	4790	139
done	5000	139

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (fma 0.12 x 0.253) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `-un-lft-identity` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
1×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

1 → 20

Calls

1 calls:

6.0ms

(* (fma 0.12 x 0.253) x)

series104.0ms

Counts

1 → 3

Calls

1 calls:

104.0ms

(* (fma 0.12 x 0.253) x)

simplify2.3s

Counts

23 → 23

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	39	4363
1	78	3664
2	244	3464
3	1171	3464
done	5001	3464

prune127.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
0.8b	(cbrt (fma 0.12 x 0.253))
0.8b	(cbrt (fma 0.12 x 0.253))
0.8b	(cbrt (fma 0.12 x 0.253))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log`
10×	`add-cbrt-cube`
9×	`cbrt-prod`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 63

Calls

4 calls:

53.0ms	(* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
1.0ms	(cbrt (fma 0.12 x 0.253))
2.0ms	(cbrt (fma 0.12 x 0.253))
2.0ms	(cbrt (fma 0.12 x 0.253))

series670.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
196.0ms	(cbrt (fma 0.12 x 0.253))
189.0ms	(cbrt (fma 0.12 x 0.253))
174.0ms	(cbrt (fma 0.12 x 0.253))

simplify3.6s

Counts

75 → 75

Iterations

Useful iterations: done (3.5s)

Iter	Nodes	Cost
0	115	28223
1	282	23475
2	911	23085
3	3273	18480
done	5065	18330

prune489.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 81

Calls

4 calls:

9.0ms	(* (cbrt x) (cbrt x))
1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series1.2s

Counts

4 → 12

Calls

4 calls:

323.0ms	(* (cbrt x) (cbrt x))
314.0ms	(cbrt x)
287.0ms	(cbrt x)
293.0ms	(cbrt x)

simplify4.9s

Counts

93 → 93

Iterations

Useful iterations: 3 (399.0ms)

Iter	Nodes	Cost
0	65	18502
1	140	15989
2	382	15714
3	1072	15034
4	4108	15034
done	5000	15034

prune476.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `log1p-expm1-u` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt x)
2.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series962.0ms

Counts

4 → 12

Calls

4 calls:

243.0ms	(cbrt x)
195.0ms	(cbrt x)
260.0ms	(cbrt x)
264.0ms	(cbrt x)

simplify3.3s

Counts

64 → 64

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	26	11972
1	46	10604
2	96	10448
3	169	9808
4	413	9808
5	991	9808
6	3384	9808
done	5054	9808

prune397.0ms

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0b

regimes102.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	139
1	8	139
done	8	139

end0.0ms

sample687.0ms

Algorithm

intervals

Results

512.0ms

10707×

body

valid