Details

sample32.0ms

Algorithm

intervals

Results

15.0ms

331×

body

valid

simplify8.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
31	4957
30	4775
29	4610
28	4428
27	4262
26	4080
25	3914
24	3731
23	3565
22	3383
21	3217
20	3035
19	2870
18	2688
17	2523
16	2341
15	2175
14	1993
13	1827
12	1645
11	1476
10	1285
9	1157
8	834
7	396
6	209
5	171
4	131
3	90
2	46
1	19
0	8

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 22

Calls

1 calls:

10.0ms

(* x (fma 0.12 x 0.253))

series131.0ms

Counts

1 → 3

Calls

1 calls:

130.0ms

(* x (fma 0.12 x 0.253))

simplify3.0s

Counts

25 → 25

Iterations

Iter	Nodes
done	5004
3	1047
2	237
1	92
0	43

prune196.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253))))
0.6b	(cbrt (* x (fma 0.12 x 0.253)))
0.6b	(cbrt (* x (fma 0.12 x 0.253)))
0.6b	(cbrt (* x (fma 0.12 x 0.253)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 66

Calls

4 calls:

37.0ms	(* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253))))
7.0ms	(cbrt (* x (fma 0.12 x 0.253)))
7.0ms	(cbrt (* x (fma 0.12 x 0.253)))
7.0ms	(cbrt (* x (fma 0.12 x 0.253)))

series1.1s

Counts

4 → 12

Calls

4 calls:

314.0ms	(* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253))))
267.0ms	(cbrt (* x (fma 0.12 x 0.253)))
238.0ms	(cbrt (* x (fma 0.12 x 0.253)))
243.0ms	(cbrt (* x (fma 0.12 x 0.253)))

simplify8.2s

Counts

78 → 78

Iterations

Iter	Nodes
done	5000
3	3983
2	1216
1	446
0	163

prune926.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 48

Calls

4 calls:

2.0ms	(cbrt x)
15.0ms	(cbrt (* x (fma 0.12 x 0.253)))
11.0ms	(cbrt (* x (fma 0.12 x 0.253)))
14.0ms	(cbrt (fma 0.12 x 0.253))

series1.3s

Counts

4 → 12

Calls

4 calls:

372.0ms	(cbrt x)
234.0ms	(cbrt (* x (fma 0.12 x 0.253)))
233.0ms	(cbrt (* x (fma 0.12 x 0.253)))
414.0ms	(cbrt (fma 0.12 x 0.253))

simplify6.7s

Counts

60 → 60

Iterations

Iter	Nodes
done	5000
3	4269
2	1079
1	369
0	153

prune703.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

localize42.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)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
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:

30.0ms	(* (cbrt x) (cbrt x))
2.0ms	(cbrt x)
2.0ms	(cbrt x)
2.0ms	(cbrt x)

series3.0s

Counts

4 → 12

Calls

4 calls:

1.2s	(* (cbrt x) (cbrt x))
612.0ms	(cbrt x)
787.0ms	(cbrt x)
439.0ms	(cbrt x)

simplify13.7s

Counts

93 → 93

Iterations

Iter	Nodes
done	5005
4	4247
3	1097
2	382
1	141
0	65

prune667.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes112.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

Iter	Nodes
done	8
1	8
0	7

end0.0ms

sample919.0ms

Algorithm

intervals

Results

688.0ms

10582×

body

valid