Details

sample85.0ms

Algorithm

intervals

Results

35.0ms	267×	body	80	nan
33.0ms	256×	body	80	valid

simplify71.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	14
1	165	14
2	826	14
3	3867	14
4	5002	14

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 5.0 (* v v))
0.3b	(* PI t)
0.3b	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.5b	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
18×	`associate-*r/`
16×	`pow1`
13×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`flip3--` `sqrt-div` `associate-r` `associate-/r/` `flip--`
7×	`associate-l` `pow-prod-down`
4×	`cbrt-undiv` `frac-times` `div-exp` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l`
2×	`associate-*l/` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `div-sub` `clear-num` `associate-/r*` `sqrt-prod` `div-inv`

Counts

4 → 94

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
3.0ms	(* PI t)
57.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
15.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series856.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* 5.0 (* v v))
27.0ms	(* PI t)
608.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
194.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify107.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	755	1158
1	4281	1002
2	5001	1002

prune331.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 4 expressions with local error:

4.5b	(/ (pow v 4) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))
4.5b	(/ (* (pow v 4) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))
7.0b	(/ (pow v 2) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))
7.0b	(/ (* (pow v 2) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

164×	`add-exp-log`
78×	`prod-exp`
74×	`add-cbrt-cube`
48×	`div-exp`
30×	`cbrt-unprod`
20×	`cbrt-undiv`
17×	`times-frac` `associate-/l*`
14×	`pow-to-exp` `pow-exp`
12×	`add-sqr-sqrt` `add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
4×	`pow1` `frac-2neg` `clear-num` `associate-/r*` `div-inv` `add-log-exp` `sqr-pow`
2×	`unpow2`

Counts

4 → 146

Calls

4 calls:

28.0ms	(/ (pow v 4) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))
12.0ms	(/ (* (pow v 4) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))
31.0ms	(/ (pow v 2) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))
13.0ms	(/ (* (pow v 2) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))

series790.0ms

Counts

4 → 12

Calls

4 calls:

223.0ms	(/ (pow v 4) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))
173.0ms	(/ (* (pow v 4) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))
223.0ms	(/ (pow v 2) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))
170.0ms	(/ (* (pow v 2) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))

simplify111.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	745	1463
1	4448	1240
2	5001	1240

prune642.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 5.0 (* v v))
0.3b	(* PI t)
0.3b	(/ (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3)) (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
0.5b	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite245.0ms

Algorithm

rewrite-expression-head

Rules

54×	`associate-*r/`
36×	`add-exp-log` `add-cbrt-cube`
33×	`add-sqr-sqrt`
28×	`frac-times`
26×	`associate-/r/`
20×	`flip3--` `sqrt-div` `flip--`
17×	`prod-exp` `cbrt-unprod`
16×	`pow1` `difference-of-squares`
14×	`*-un-lft-identity`
13×	`times-frac` `associate-/l*`
12×	`sqr-pow`
10×	`add-cube-cbrt`
9×	`flip3-+` `flip-+`
8×	`associate-r` `associate-*l/`
7×	`associate-l` `pow-prod-down`
5×	`cbrt-undiv` `div-exp`
4×	`unpow-prod-down` `cube-prod` `add-log-exp`
3×	`*-commutative`
2×	`difference-cubes` `associate-/l/` `distribute-lft-out--` `unswap-sqr`
1×	`frac-2neg` `div-sub` `clear-num` `associate-/r*` `sqrt-prod` `div-inv`

Counts

4 → 134

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
3.0ms	(* PI t)
213.0ms	(/ (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3)) (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
15.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series931.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* 5.0 (* v v))
20.0ms	(* PI t)
691.0ms	(/ (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3)) (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
195.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify58.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1144	2982
1	5001	2759

prune856.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 5.0 (* v v))
0.3b	(/ (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3)) (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (* (* PI (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v)))))
0.3b	(* PI (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
0.4b	(* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite400.0ms

Algorithm

rewrite-expression-head

Rules

78×	`associate-*r/`
36×	`add-exp-log` `add-cbrt-cube`
33×	`add-sqr-sqrt`
28×	`frac-times`
26×	`associate-/r/`
22×	`sqrt-div`
21×	`flip3--` `flip--`
17×	`prod-exp` `cbrt-unprod`
16×	`pow1` `difference-of-squares`
14×	`*-un-lft-identity`
13×	`times-frac` `associate-/l*`
12×	`sqr-pow`
10×	`add-cube-cbrt`
9×	`flip3-+` `associate-l` `flip-+`
8×	`associate-*l/`
7×	`pow-prod-down`
6×	`associate-r`
5×	`cbrt-undiv` `div-exp`
4×	`unpow-prod-down` `cube-prod` `add-log-exp`
3×	`*-commutative`
2×	`difference-cubes` `associate-/l/` `distribute-lft-out--` `unswap-sqr`
1×	`frac-2neg` `div-sub` `clear-num` `associate-/r*` `sqrt-prod` `div-inv`

Counts

4 → 136

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
345.0ms	(/ (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3)) (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (* (* PI (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v)))))
30.0ms	(* PI (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
11.0ms	(* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series1.1s

Counts

4 → 12

Calls

4 calls:

31.0ms	(* 5.0 (* v v))
681.0ms	(/ (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3)) (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (* (* PI (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v)))))
194.0ms	(* PI (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
157.0ms	(* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify54.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1168	3106
1	5002	2875

prune664.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.1b

regimes367.0ms

Accuracy

0% (0.4b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	51
1	61	51

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.0s	8001×	body	80	valid
974.0ms	8025×	body	80	nan