Details

sample192.0ms

Algorithm

intervals

Results

68.0ms

261×

body

valid

simplify12.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	26	33
1	41	33
2	88	33
3	264	33
4	824	33
5	2916	33
done	5001	33

prune67.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.4b

localize153.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
27.6b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite647.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

180.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
53.0ms	(* (+ (* x y) z) y)
113.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
296.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series2.0s

Counts

4 → 12

Calls

4 calls:

459.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
98.0ms	(* (+ (* x y) z) y)
260.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
1.2s	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify3.8s

Counts

103 → 103

Iterations

Useful iterations: 2 (1.3s)

Iter	Nodes	Cost
0	194	2565
1	522	2499
2	2817	2291
done	5000	2291

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 27.4b

localize112.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y)
2.8b	(+ (* x (pow y 2)) (* z y))
5.2b	(* x (pow y 2))
27.6b	(/ (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
17×	`add-cube-cbrt`
13×	`add-exp-log`
11×	`associate-r`
10×	`add-cbrt-cube`
9×	`times-frac`
7×	`associate-l`
6×	`pow1` `add-log-exp`
5×	`unswap-sqr`
4×	`unpow-prod-down` `flip3-+` `prod-exp` `flip-+`
3×	`associate-/r` `associate-/l`
2×	`associate-l/` `associate-/r/` `-commutative` `cbrt-unprod` `associate-/l/` `unpow2` `sqr-pow`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `frac-2neg` `div-exp` `pow-prod-down` `pow-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out`

Counts

4 → 90

Calls

4 calls:

252.0ms	(* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y)
22.0ms	(+ (* x (pow y 2)) (* z y))
22.0ms	(* x (pow y 2))
751.0ms	(/ (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series1.8s

Counts

4 → 12

Calls

4 calls:

193.0ms	(* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y)
95.0ms	(+ (* x (pow y 2)) (* z y))
207.0ms	(* x (pow y 2))
1.3s	(/ (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify8.5s

Counts

102 → 102

Iterations

Useful iterations: done (8.5s)

Iter	Nodes	Cost
0	189	2528
1	493	2452
2	2385	2237
done	5000	2235

prune2.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 27.4b

localize573.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
27.6b	(/ (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 64

Calls

4 calls:

2.0ms	(cbrt y)
2.0ms	(cbrt y)
3.0ms	(cbrt y)
1.4s	(/ (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series5.2s

Counts

4 → 12

Calls

4 calls:

1.1s	(cbrt y)
1.4s	(cbrt y)
1.0s	(cbrt y)
1.6s	(/ (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify3.3s

Counts

76 → 76

Iterations

Useful iterations: done (3.2s)

Iter	Nodes	Cost
0	113	2109
1	274	2086
2	1002	1742
done	5000	1591

prune3.7s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 27.4b

localize179.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
2.8b	(+ (* x (pow y 2)) (* z y))
5.2b	(* x (pow y 2))
27.5b	(* (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite1.9s

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
23×	`add-cube-cbrt` `associate-r`
22×	`add-exp-log`
20×	`times-frac`
13×	`add-cbrt-cube`
7×	`pow1` `prod-exp` `unswap-sqr`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`unpow-prod-down` `div-exp` `associate-/r/`
3×	`associate-/r` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `associate-l/` `-commutative` `div-inv` `unpow2` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-flip` `frac-2neg` `associate-*r/` `pow-prod-down` `pow-exp` `clear-num` `sum-log` `un-div-inv` `inv-pow`

Counts

4 → 113

Calls

4 calls:

125.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
18.0ms	(+ (* x (pow y 2)) (* z y))
24.0ms	(* x (pow y 2))
1.6s	(* (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series3.0s

Counts

4 → 12

Calls

4 calls:

574.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
203.0ms	(+ (* x (pow y 2)) (* z y))
178.0ms	(* x (pow y 2))
2.1s	(* (+ (* (+ (* (+ (+ (* x (pow y 2)) (* z y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify21.9s

Counts

125 → 125

Iterations

Useful iterations: 2 (8.4s)

Iter	Nodes	Cost
0	199	3335
1	558	3190
2	3830	2810
done	5000	2810

prune2.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 27.4b

regimes2.4s

Accuracy

0% (1.1b remaining)

Error of 29.0b against oracle of 27.9b and baseline of 29.0b

bsearch0.0ms

simplify14.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	29	40
1	45	40
done	45	40

end7.0ms

sample10.1s

Algorithm

intervals

Results

8.8s

8247×

body

valid