Details

sample51.0ms

Algorithm

intervals

Results

23.0ms

345×

body

valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	27	11
2	77	11
3	174	11
4	264	11
5	331	11
6	403	11
7	551	11
8	1145	11
9	4595	11
done	5000	11

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.8b

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* z z) (+ z 1.0))
14.5b	(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-exp-log` `add-cbrt-cube`
12×	`prod-exp` `cbrt-unprod`
7×	`pow1`
6×	`cbrt-undiv` `div-exp`
5×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `associate-r/` `associate-r*`
3×	`add-cube-cbrt` `pow-prod-down`
2×	`expm1-log1p-u` `flip3-+` `associate-/r/` `flip-+` `log1p-expm1-u` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `times-frac` `associate-l` `clear-num` `associate-/r` `-commutative` `div-inv` `distribute-lft-out` `associate-/l*` `unswap-sqr`

Counts

2 → 55

Calls

2 calls:

37.0ms	(* (* z z) (+ z 1.0))
49.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

series188.0ms

Counts

2 → 6

Calls

2 calls:

78.0ms	(* (* z z) (+ z 1.0))
110.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

simplify1.3s

Counts

61 → 61

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	116	898
1	349	826
2	1932	663
done	5000	661

prune176.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.1b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ z 1.0))
5.6b	(* (/ x (* z z)) (/ y (+ z 1.0)))
8.5b	(/ x (* z z))

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
34×	`add-sqr-sqrt` `times-frac`
31×	`add-exp-log` `add-cbrt-cube`
24×	`add-cube-cbrt`
18×	`associate-r`
10×	`cbrt-undiv` `div-exp`
9×	`prod-exp` `cbrt-unprod`
7×	`associate-l` `distribute-lft-out`
6×	`associate-/l*`
5×	`pow1` `associate-/r*`
4×	`associate-/r/` `div-inv` `unswap-sqr`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`frac-2neg` `flip3-+` `clear-num` `flip-+`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

3 → 113

Calls

3 calls:

23.0ms	(/ y (+ z 1.0))
68.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
17.0ms	(/ x (* z z))

series177.0ms

Counts

3 → 9

Calls

3 calls:

63.0ms	(/ y (+ z 1.0))
70.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
44.0ms	(/ x (* z z))

simplify1.8s

Counts

122 → 122

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	186	1549
1	496	1460
2	1872	1271
done	5000	1259

prune433.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(* (/ (cbrt x) z) (/ y (+ z 1.0)))
0.9b	(* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))

rewrite201.0ms

Algorithm

rewrite-expression-head

Rules

85×	`add-exp-log`
67×	`add-cbrt-cube`
48×	`add-sqr-sqrt`
40×	`times-frac`
36×	`prod-exp` `cbrt-unprod`
35×	`*-un-lft-identity`
29×	`add-cube-cbrt` `associate-l`
26×	`cbrt-undiv` `div-exp`
19×	`associate-r`
17×	`cbrt-prod`
11×	`pow1`
6×	`frac-times` `associate-*r/` `unswap-sqr`
4×	`expm1-log1p-u` `pow-prod-down` `associate-*l/` `log1p-expm1-u` `add-log-exp`
3×	`div-inv` `distribute-lft-out`
2×	`pow1/3` `associate-/r/` `*-commutative`
1×	`flip3-+` `flip-+`

Counts

4 → 151

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
66.0ms	(* (/ (cbrt x) z) (/ y (+ z 1.0)))
122.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))

series1.0s

Counts

4 → 12

Calls

4 calls:

235.0ms	(cbrt x)
586.0ms	(cbrt x)
137.0ms	(* (/ (cbrt x) z) (/ y (+ z 1.0)))
91.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))

simplify2.1s

Counts

163 → 163

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	271	2848
1	808	2700
2	3308	1981
done	5000	1772

prune475.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.9b	(* (/ (* (cbrt x) (cbrt x)) z) (* (* (/ (cbrt x) z) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (cbrt (/ y (+ z 1.0)))))
10.5b	(cbrt (/ y (+ z 1.0)))
10.5b	(cbrt (/ y (+ z 1.0)))
10.5b	(cbrt (/ y (+ z 1.0)))

rewrite955.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-exp-log`
57×	`prod-exp` `cbrt-unprod`
54×	`cbrt-prod`
52×	`add-cbrt-cube`
51×	`cbrt-div`
49×	`frac-times`
48×	`*-un-lft-identity`
39×	`times-frac`
37×	`associate-*r/`
30×	`add-sqr-sqrt` `add-cube-cbrt`
27×	`associate-*l/`
18×	`pow1` `cbrt-undiv` `div-exp`
10×	`pow-prod-down`
9×	`distribute-lft-out`
7×	`associate-l`
6×	`associate-/r/`
4×	`expm1-log1p-u` `log1p-expm1-u` `div-inv` `add-log-exp`
3×	`flip3-+` `pow1/3` `flip-+`
1×	`associate-r` `*-commutative`

Counts

4 → 176

Calls

4 calls:

920.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* (* (/ (cbrt x) z) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (cbrt (/ y (+ z 1.0)))))
12.0ms	(cbrt (/ y (+ z 1.0)))
6.0ms	(cbrt (/ y (+ z 1.0)))
6.0ms	(cbrt (/ y (+ z 1.0)))

series648.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* (* (/ (cbrt x) z) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (cbrt (/ y (+ z 1.0)))))
176.0ms	(cbrt (/ y (+ z 1.0)))
202.0ms	(cbrt (/ y (+ z 1.0)))
183.0ms	(cbrt (/ y (+ z 1.0)))

simplify2.4s

Counts

188 → 188

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	329	5356
1	942	5125
2	3664	3589
done	5000	2862

prune547.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes326.0ms

Accuracy

23.8% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 1.5b

bsearch1.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	67
1	35	67
done	35	67

end0.0ms

sample1.1s

Algorithm

intervals

Results

663.0ms

10772×

body

valid