Details

sample66.0ms

Algorithm

intervals

Results

26.0ms

761×

body

valid

simplify804.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	18	8
2	40	8
3	99	8
4	215	8
5	382	8
6	656	8
7	1750	8
done	5000	8

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 8.5b

Counts

2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (cosh x) (/ y x))
8.1b	(/ (* (cosh x) (/ y x)) z)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`times-frac` `associate-r`
12×	`add-cube-cbrt` `*-un-lft-identity`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `cosh-def` `prod-exp` `cbrt-unprod`
3×	`associate-l` `associate-/r*` `associate-/l/`
2×	`frac-times` `associate-r/` `associate-l/` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `associate-/l`

Counts

2 → 60

Calls

2 calls:

8.0ms	(* (cosh x) (/ y x))
7.0ms	(/ (* (cosh x) (/ y x)) z)

series50.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(* (cosh x) (/ y x))
31.0ms	(/ (* (cosh x) (/ y x)) z)

simplify391.0ms

Counts

66 → 66

Iterations

Useful iterations: 2 (98.0ms)

Iter	Nodes	Cost
0	137	707
1	345	670
2	1346	570
done	5000	570

prune109.0ms

Filtered

49 candidates to 66 candidates (-34.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	56	10	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	10	67

Merged error: 0.0b

Counts

67 → 10

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (cosh x) (/ y (* x z)))
6.6b	(/ y (* x z))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`pow1` `cbrt-undiv` `div-exp`
3×	`associate-l` `associate-/l*`
2×	`cosh-def` `div-inv` `add-log-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `associate-/r` `-commutative` `unswap-sqr`

Counts

2 → 50

Calls

2 calls:

8.0ms	(* (cosh x) (/ y (* x z)))
5.0ms	(/ y (* x z))

series37.0ms

Counts

2 → 6

Calls

2 calls:

31.0ms	(* (cosh x) (/ y (* x z)))
6.0ms	(/ y (* x z))

simplify411.0ms

Counts

56 → 56

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	103	571
1	253	553
2	985	459
done	5000	459

prune75.0ms

Filtered

38 candidates to 56 candidates (-47.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	6	3	9
Picked	0	1	1
Done	0	0	0
Total	58	8	66

Merged error: 0b

Counts

66 → 8

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (cosh x) (* (/ 1 x) (/ y z)))
6.0b	(* (/ 1 x) (/ y z))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-exp-log`
34×	`add-sqr-sqrt`
32×	`add-cbrt-cube`
25×	`times-frac` `prod-exp`
19×	`*-un-lft-identity`
17×	`add-cube-cbrt`
16×	`div-exp` `associate-l`
14×	`associate-r`
13×	`cbrt-unprod`
9×	`pow1`
8×	`cbrt-undiv`
6×	`frac-times` `associate-*r/` `unswap-sqr`
4×	`rec-exp` `cosh-def` `1-exp` `pow-prod-down` `associate-*l/`
2×	`*-commutative` `div-inv` `add-log-exp`

Counts

2 → 91

Calls

2 calls:

10.0ms	(* (cosh x) (* (/ 1 x) (/ y z)))
11.0ms	(* (/ 1 x) (/ y z))

series40.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(* (cosh x) (* (/ 1 x) (/ y z)))
6.0ms	(* (/ 1 x) (/ y z))

simplify454.0ms

Counts

97 → 97

Iterations

Useful iterations: 2 (151.0ms)

Iter	Nodes	Cost
0	180	1208
1	521	998
2	1887	782
done	5000	782

prune97.0ms

Filtered

59 candidates to 97 candidates (-64.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	97	8	105

Merged error: 0b

Counts

105 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (cosh x) (/ (/ y z) x))
5.9b	(/ (/ y z) x)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

144×	`times-frac`
89×	`add-sqr-sqrt`
80×	`add-cube-cbrt` `*-un-lft-identity`
43×	`associate-r`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`div-inv`
6×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`associate-l` `prod-exp` `associate-/r*` `cbrt-unprod` `unswap-sqr`
2×	`cosh-def` `add-log-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `associate-/l/`

Counts

2 → 137

Calls

2 calls:

18.0ms	(* (cosh x) (/ (/ y z) x))
8.0ms	(/ (/ y z) x)

series37.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(* (cosh x) (/ (/ y z) x))
6.0ms	(/ (/ y z) x)

simplify557.0ms

Counts

143 → 143

Iterations

Useful iterations: 2 (183.0ms)

Iter	Nodes	Cost
0	243	1751
1	616	1633
2	2481	1525
done	5001	1525

prune123.0ms

Filtered

114 candidates to 143 candidates (-25.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	143	8	151

Merged error: 0b

Counts

151 → 8

regimes327.0ms

Accuracy

94.6% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 7.1b

bsearch79.0ms

Steps

Iters	Range		Point
9	6.070411934313297e-21	5.691295351696058e-12	7.221163952708297e-16
8	-5.209263701539587e-29	-3.162113203266843e-33	-1.1115719021710903e-29

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	36
1	29	36
done	29	36

end0.0ms

sample1.7s

Algorithm

intervals

Results

803.0ms

22654×

body

valid

Details

sample66.0ms

simplify804.0ms

prune4.0ms

localize12.0ms

rewrite17.0ms

series50.0ms

simplify391.0ms

prune109.0ms

localize6.0ms

rewrite14.0ms

series37.0ms

simplify411.0ms

prune75.0ms

localize8.0ms

rewrite26.0ms

series40.0ms

simplify454.0ms

prune97.0ms

localize6.0ms

rewrite34.0ms

series37.0ms

simplify557.0ms

prune123.0ms

regimes327.0ms

bsearch79.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling