Details

sample34.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
7.0ms	245×	body	80	nan

simplify3.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
38	4976
37	4797
36	4674
35	4495
34	4372
33	4193
32	4070
31	3889
30	3766
29	3585
28	3462
27	3283
26	3160
25	2980
24	2857
23	2677
22	2554
21	2375
20	2252
19	2073
18	1950
17	1771
16	1648
15	1469
14	1346
13	1180
12	948
11	602
10	359
9	234
8	162
7	127
6	105
5	73
4	45
3	25
2	18
1	14
0	7

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.6b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

65×	`log-prod`
45×	`times-frac`
43×	`add-sqr-sqrt`
41×	`*-un-lft-identity` `add-cube-cbrt`
26×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
8×	`add-exp-log`
7×	`pow1`
5×	`add-cbrt-cube` `div-inv` `add-log-exp`
4×	`associate-r`
3×	`expm1-log1p-u` `associate-l` `prod-diff` `log1p-expm1-u`
2×	`rem-log-exp` `log-pow`
1×	`log-div` `sub-neg` `flip3--` `fma-neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

3 → 117

Calls

3 calls:

13.0ms	(- (* x (log (/ x y))) z)
20.0ms	(* x (log (/ x y)))
2.0ms	(log (/ x y))

series182.0ms

Counts

3 → 9

Calls

3 calls:

87.0ms	(- (* x (log (/ x y))) z)
54.0ms	(* x (log (/ x y)))
41.0ms	(log (/ x y))

simplify2.8s

Counts

126 → 126

Iterations

Iter	Nodes
done	5009
3	3109
2	990
1	454
0	215

prune700.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)
2.4b	(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1` `log-prod` `rem-log-exp`
4×	`expm1-log1p-u` `add-cbrt-cube` `div-exp` `prod-exp` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`log-div` `times-frac` `log-pow` `div-inv`

Counts

4 → 60

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
17.0ms	(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series998.0ms

Counts

4 → 12

Calls

4 calls:

329.0ms	(cbrt x)
277.0ms	(cbrt x)
262.0ms	(cbrt x)
130.0ms	(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify1.9s

Counts

72 → 72

Iterations

Iter	Nodes
done	5002
4	2691
3	814
2	299
1	143
0	75

prune483.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize113.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt x)
2.9b	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
2.9b	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
2.9b	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

18×	`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`
3×	`cbrt-div` `times-frac` `div-inv`

Counts

4 → 61

Calls

4 calls:

1.0ms	(cbrt x)
15.0ms	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
8.0ms	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
9.0ms	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series965.0ms

Counts

4 → 12

Calls

4 calls:

276.0ms	(cbrt x)
105.0ms	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
460.0ms	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
124.0ms	(cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify1.5s

Counts

73 → 73

Iterations

Iter	Nodes
done	5000
4	1821
3	670
2	283
1	139
0	74

prune650.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
4.4b	(log (/ x (cbrt y)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod`
20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`cbrt-prod` `times-frac`
7×	`add-exp-log`
5×	`pow1`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 74

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
6.0ms	(log (/ x (cbrt y)))

series845.0ms

Counts

4 → 12

Calls

4 calls:

243.0ms	(cbrt y)
215.0ms	(cbrt y)
201.0ms	(cbrt y)
185.0ms	(log (/ x (cbrt y)))

simplify1.8s

Counts

86 → 86

Iterations

Iter	Nodes
done	5004
4	3439
3	1111
2	455
1	238
0	122

prune633.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes417.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	27
2	27
1	25
0	17

end0.0ms

sample1.4s

Algorithm

intervals

Results

460.0ms	8035×	body	80	valid
418.0ms	8061×	body	80	nan