Details

sample21.0ms

Algorithm

intervals

Results

8.0ms

348×

body

valid

simplify3.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	27	11
2	75	11
3	164	11
4	251	11
5	310	11
6	363	11
7	499	11
8	1076	11
9	4486	11
done	5000	11

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.6b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite61.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×	`flip3-+` `associate-/r/` `flip-+` `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 → 51

Calls

2 calls:

30.0ms	(* (* z z) (+ z 1.0))
30.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

series121.0ms

Counts

2 → 6

Calls

2 calls:

51.0ms	(* (* z z) (+ z 1.0))
71.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

simplify724.0ms

Counts

57 → 57

Iterations

Useful iterations: 2 (233.0ms)

Iter	Nodes	Cost
0	112	858
1	343	788
2	1881	626
done	5000	626

prune100.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 10.5b

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)))
11.0b	(/ x (* z z))

rewrite68.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×	`add-log-exp`
2×	`frac-2neg` `flip3-+` `clear-num` `flip-+`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

3 → 107

Calls

3 calls:

12.0ms	(/ y (+ z 1.0))
44.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
8.0ms	(/ x (* z z))

series112.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(/ y (+ z 1.0))
53.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
23.0ms	(/ x (* z z))

simplify1.1s

Counts

116 → 116

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	180	1501
1	485	1416
2	1807	1228
done	5000	1214

prune223.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ z 1.0))
0.9b	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
2.2b	(* (/ x z) (/ y (+ z 1.0)))

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

94×	`add-exp-log`
58×	`add-cbrt-cube`
48×	`*-un-lft-identity`
46×	`add-sqr-sqrt` `times-frac`
40×	`prod-exp`
34×	`add-cube-cbrt`
31×	`div-exp`
26×	`associate-l`
22×	`cbrt-unprod`
19×	`associate-r`
18×	`cbrt-undiv`
10×	`pow1`
7×	`distribute-lft-out`
6×	`frac-times` `associate-*r/`
5×	`rec-exp` `1-exp`
4×	`pow-prod-down` `associate-l/` `associate-/r` `associate-/r/` `div-inv` `unswap-sqr`
3×	`associate-/l*` `add-log-exp`
2×	`flip3-+` `*-commutative` `flip-+`
1×	`frac-2neg` `clear-num`

Counts

3 → 149

Calls

3 calls:

13.0ms	(/ y (+ z 1.0))
52.0ms	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
35.0ms	(* (/ x z) (/ y (+ z 1.0)))

series134.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(/ y (+ z 1.0))
52.0ms	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
49.0ms	(* (/ x z) (/ y (+ z 1.0)))

simplify1.4s

Counts

158 → 158

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	257	2420
1	714	2165
2	2607	1785
done	5001	1759

prune278.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ z 1.0))
0.1b	(/ (/ y (+ z 1.0)) z)
0.9b	(* (/ 1 z) (* x (/ (/ y (+ z 1.0)) z)))
4.5b	(* x (/ (/ y (+ z 1.0)) z))

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

216×	`times-frac`
165×	`*-un-lft-identity`
124×	`add-sqr-sqrt`
115×	`add-cube-cbrt`
80×	`add-exp-log`
59×	`associate-r`
52×	`add-cbrt-cube`
31×	`prod-exp`
27×	`div-exp`
25×	`distribute-lft-out`
21×	`associate-/l*`
17×	`cbrt-undiv` `cbrt-unprod`
16×	`associate-l` `associate-/r/`
11×	`pow1` `div-inv`
8×	`flip3-+` `flip-+`
7×	`associate-/r*`
4×	`rec-exp` `1-exp` `associate-*r/` `pow-prod-down` `add-log-exp`
3×	`unswap-sqr`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`frac-times` `associate-*l/` `associate-/l/`

Counts

4 → 254

Calls

4 calls:

10.0ms	(/ y (+ z 1.0))
21.0ms	(/ (/ y (+ z 1.0)) z)
58.0ms	(* (/ 1 z) (* x (/ (/ y (+ z 1.0)) z)))
46.0ms	(* x (/ (/ y (+ z 1.0)) z))

series193.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ y (+ z 1.0))
40.0ms	(/ (/ y (+ z 1.0)) z)
50.0ms	(* (/ 1 z) (* x (/ (/ y (+ z 1.0)) z)))
69.0ms	(* x (/ (/ y (+ z 1.0)) z))

simplify1.2s

Counts

266 → 266

Iterations

Useful iterations: 2 (537.0ms)

Iter	Nodes	Cost
0	374	4030
1	955	3650
2	3052	3288
done	5002	3288

prune511.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes111.0ms

Accuracy

-2.8% (3.2b remaining)

Error of 3.2b against oracle of 0.0b and baseline of 3.1b

bsearch40.0ms

Steps

Iters	Range		Point
9	2.2733004328291146e-68	3.5781431686909467e-63	1.3977624922974663e-65

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	33
1	27	31
done	27	31

end0.0ms

sample577.0ms

Algorithm

intervals

Results

271.0ms

10858×

body

valid