Details

sample54.0ms

Algorithm

intervals

Results

22.0ms	257×	body	80	valid
13.0ms	233×	body	80	nan

simplify1.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
28	1952
27	1874
26	1810
25	1732
24	1668
23	1590
22	1526
21	1448
20	1384
19	1306
18	1242
17	1164
16	1100
15	1022
14	958
13	880
12	800
11	722
10	664
9	505
8	337
7	187
6	122
5	94
4	74
3	49
2	28
1	15
0	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 53

Calls

2 calls:

8.0ms	(- (* x (log y)) z)
7.0ms	(* x (log y))

series119.0ms

Counts

2 → 6

Calls

2 calls:

69.0ms	(- (* x (log y)) z)
49.0ms	(* x (log y))

simplify920.0ms

Counts

59 → 59

Iterations

Iter	Nodes
done	2003
3	1463
2	518
1	244
0	113

prune263.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 93

Calls

4 calls:

31.0ms	(* (log (cbrt y)) (+ x x))
24.0ms	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series825.0ms

Counts

4 → 12

Calls

4 calls:

133.0ms	(* (log (cbrt y)) (+ x x))
149.0ms	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
264.0ms	(cbrt y)
278.0ms	(cbrt y)

simplify664.0ms

Counts

105 → 105

Iterations

Iter	Nodes
done	2000
2	1299
1	382
0	146

prune660.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 99

Calls

4 calls:

15.0ms	(* x (log (cbrt y)))
26.0ms	(+ (* (log (pow y 1/3)) (+ x x)) (* x (log (cbrt y))))
1.0ms	(cbrt y)
4.0ms	(pow y 1/3)

series931.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(* x (log (cbrt y)))
278.0ms	(+ (* (log (pow y 1/3)) (+ x x)) (* x (log (cbrt y))))
267.0ms	(cbrt y)
244.0ms	(pow y 1/3)

simplify753.0ms

Counts

111 → 111

Iterations

Iter	Nodes
done	2001
2	1386
1	414
0	167

prune579.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`pow1/3`
2×	`associate-+l+`
1×	`distribute-rgt-in` `+-commutative` `sum-log` `fma-def` `distribute-lft-in` `flip3-+` `flip-+`

Counts

4 → 59

Calls

4 calls:

16.0ms	(+ (* (log (cbrt y)) (+ x x)) (* (log (sqrt (cbrt y))) x))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series1.2s

Counts

4 → 12

Calls

4 calls:

363.0ms	(+ (* (log (cbrt y)) (+ x x)) (* (log (sqrt (cbrt y))) x))
254.0ms	(cbrt y)
300.0ms	(cbrt y)
237.0ms	(cbrt y)

simplify598.0ms

Counts

71 → 71

Iterations

Iter	Nodes
done	2000
2	835
1	243
0	84

prune474.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes224.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.0s

Algorithm

intervals

Results

923.0ms	7974×	body	80	nan
606.0ms	8030×	body	80	valid
0.0ms	1×	body	160	valid