Details

sample61.0ms

Algorithm

intervals

Results

17.0ms	257×	body	80	valid
13.0ms	262×	body	80	nan

simplify9.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
88	4979
87	4933
86	4863
85	4821
84	4751
83	4705
82	4635
81	4589
80	4519
79	4473
78	4403
77	4357
76	4287
75	4241
74	4171
73	4129
72	4059
71	4013
70	3943
69	3901
68	3831
67	3785
66	3715
65	3673
64	3603
63	3557
62	3487
61	3445
60	3375
59	3329
58	3259
57	3213
56	3143
55	3097
54	3027
53	2985
52	2915
51	2869
50	2799
49	2753
48	2683
47	2637
46	2567
45	2525
44	2455
43	2409
42	2339
41	2297
40	2227
39	2181
38	2111
37	2069
36	1999
35	1953
34	1883
33	1837
32	1767
31	1721
30	1651
29	1605
28	1535
27	1489
26	1419
25	1377
24	1307
23	1261
22	1191
21	1149
20	1079
19	1033
18	963
17	917
16	847
15	801
14	731
13	673
12	603
11	557
10	473
9	319
8	208
7	134
6	101
5	87
4	70
3	49
2	28
1	15
0	7

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x (log y)) z)
0.3b	(* x (log y))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
5×	`pow1`
4×	`add-exp-log` `associate-r` `add-cbrt-cube` `add-log-exp`
3×	`associate-l` `prod-diff`
2×	`expm1-log1p-u` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

2 → 51

Calls

2 calls:

17.0ms	(- (* x (log y)) z)
30.0ms	(* x (log y))

series186.0ms

Counts

2 → 6

Calls

2 calls:

105.0ms	(- (* x (log y)) z)
80.0ms	(* x (log y))

simplify6.5s

Counts

57 → 57

Iterations

Iter	Nodes
done	5004
3	1541
2	552
1	240
0	111

prune488.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize234.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ x x) (log (cbrt y)))
0.3b	(+ (* (+ x x) (log (cbrt y))) (* (log (cbrt y)) x))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite540.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
22×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`add-cube-cbrt`
18×	`cbrt-prod`
12×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `associate-l`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`distribute-rgt-out` `pow1/3` `distribute-lft-out`
2×	`flip3-+` `associate-*l/` `log-pow` `flip-+`
1×	`+-commutative` `fma-def` `distribute-lft1-in` `count-2` `pow-prod-down` `distribute-rgt1-in` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 97

Calls

4 calls:

370.0ms	(* (+ x x) (log (cbrt y)))
108.0ms	(+ (* (+ x x) (log (cbrt y))) (* (log (cbrt y)) x))
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series1.5s

Counts

4 → 12

Calls

4 calls:

184.0ms	(* (+ x x) (log (cbrt y)))
214.0ms	(+ (* (+ x x) (log (cbrt y))) (* (log (cbrt y)) x))
375.0ms	(cbrt y)
724.0ms	(cbrt y)

simplify5.7s

Counts

109 → 109

Iterations

Iter	Nodes
done	5000
2	1275
1	381
0	141

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b	(fma (+ x x) (log (cbrt y)) (* (log (cbrt y)) x))
0.3b	(* (log (cbrt y)) x)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

1.0ms	(fma (+ x x) (log (cbrt y)) (* (log (cbrt y)) x))
18.0ms	(* (log (cbrt y)) x)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series1.7s

Counts

4 → 12

Calls

4 calls:

370.0ms	(fma (+ x x) (log (cbrt y)) (* (log (cbrt y)) x))
223.0ms	(* (log (cbrt y)) x)
628.0ms	(cbrt y)
444.0ms	(cbrt y)

simplify3.8s

Counts

70 → 70

Iterations

Iter	Nodes
done	5000
3	1370
2	410
1	154
0	80

prune742.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize83.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (cbrt y)) x)
0.3b	(+ (* (+ x x) (log (pow y 1/3))) (* (log (cbrt y)) x))
0.6b	(cbrt y)
5.1b	(pow y 1/3)

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
14×	`associate-+l+` `log-prod`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`unpow-prod-down`
8×	`pow1`
7×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in`
6×	`add-cbrt-cube` `add-log-exp`
5×	`associate-l`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`cbrt-prod` `pow-unpow` `associate-r` `sqr-pow`
2×	`pow1/3` `log-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `fma-def` `flip3-+` `unpow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 83

Calls

4 calls:

27.0ms	(* (log (cbrt y)) x)
56.0ms	(+ (* (+ x x) (log (pow y 1/3))) (* (log (cbrt y)) x))
2.0ms	(cbrt y)
6.0ms	(pow y 1/3)

series2.1s

Counts

4 → 12

Calls

4 calls:

239.0ms	(* (log (cbrt y)) x)
286.0ms	(+ (* (+ x x) (log (pow y 1/3))) (* (log (cbrt y)) x))
974.0ms	(cbrt y)
553.0ms	(pow y 1/3)

simplify10.2s

Counts

95 → 95

Iterations

Iter	Nodes
done	5000
3	4733
2	1215
1	392
0	153

prune1.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

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

sample2.5s

Algorithm

intervals

Results

988.0ms	7800×	body	80	nan
624.0ms	8031×	body	80	valid