Details

sample19.0ms

Algorithm

intervals

Results

11.0ms

381×

body

valid

simplify194.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	15	5
1	38	4
2	80	4
3	118	4
4	174	4
5	365	4
6	1299	4
7	4620	4
8	5001	4

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 0.0b

Counts

2 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
0.1b	(* (* x x) x)
0.1b	(* 0.12900613773279798 (* (* x x) x))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1`
17×	`add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `pow-plus` `pow-prod-up`
5×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`pow2` `pow-sqr` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `pow3` `flip--` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

3.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
6.0ms	(* (* x x) x)
9.0ms	(* 0.12900613773279798 (* (* x x) x))

series19.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
7.0ms	(* (* x x) x)
4.0ms	(* 0.12900613773279798 (* (* x x) x))

simplify152.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (147.0ms)

Iter	Nodes	Cost
0	215	272
1	848	214
2	4615	210
3	5002	206

prune67.0ms

Filtered

36 candidates to 70 candidates (-94.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	67	3	70
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	67	5	72

Merged error: 0b

Counts

72 → 5

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
0.1b	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.2b	(* 0.12900613773279798 (* x x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
5×	`add-log-exp`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`sub-neg`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-r/` `-commutative` `flip--` `unswap-sqr`
1×	`diff-log`

Counts

3 → 55

Calls

3 calls:

3.0ms	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
5.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
5.0ms	(* 0.12900613773279798 (* x x))

series16.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
8.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
3.0ms	(* 0.12900613773279798 (* x x))

simplify147.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	208	309
1	918	272
2	4620	271
3	5002	271

prune66.0ms

Filtered

39 candidates to 64 candidates (-64.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	64	5	69

Merged error: 0b

Counts

69 → 5

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.954929658551372 (* (* 0.12900613773279798 x) x))
0.1b	(* x (- 0.954929658551372 (* (* 0.12900613773279798 x) x)))
0.1b	(* (* 0.12900613773279798 x) x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
5×	`add-log-exp`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`sub-neg`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-r/` `-commutative` `flip--`
1×	`diff-log` `unswap-sqr`

Counts

3 → 54

Calls

3 calls:

2.0ms	(- 0.954929658551372 (* (* 0.12900613773279798 x) x))
5.0ms	(* x (- 0.954929658551372 (* (* 0.12900613773279798 x) x)))
5.0ms	(* (* 0.12900613773279798 x) x)

series16.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(- 0.954929658551372 (* (* 0.12900613773279798 x) x))
8.0ms	(* x (- 0.954929658551372 (* (* 0.12900613773279798 x) x)))
3.0ms	(* (* 0.12900613773279798 x) x)

simplify37.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	209	305
1	1065	270
2	5001	270

prune57.0ms

Filtered

37 candidates to 63 candidates (-70.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	63	5	68

Merged error: 0b

Counts

68 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b

(- (* 0.954929658551372 x) (* (sqrt 0.12900613773279798) (* (pow x 3) (sqrt 0.12900613773279798))))

0.2b

(* (pow x 3) (sqrt 0.12900613773279798))

0.2b

(* (sqrt 0.12900613773279798) (* (pow x 3) (sqrt 0.12900613773279798)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-exp-log` `associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp` `sqrt-prod` `add-cbrt-cube`
8×	`unswap-sqr`
7×	`associate-r`
5×	`pow1` `unpow-prod-down` `cube-prod` `add-log-exp`
4×	`cbrt-unprod`
3×	`sqr-pow`
2×	`pow-to-exp` `pow-exp` `*-commutative`
1×	`cube-mult` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-prod-down` `flip--`

Counts

3 → 72

Calls

3 calls:

3.0ms

(- (* 0.954929658551372 x) (* (sqrt 0.12900613773279798) (* (pow x 3) (sqrt 0.12900613773279798))))

7.0ms

(* (pow x 3) (sqrt 0.12900613773279798))

8.0ms

(* (sqrt 0.12900613773279798) (* (pow x 3) (sqrt 0.12900613773279798)))

series29.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms

(- (* 0.954929658551372 x) (* (sqrt 0.12900613773279798) (* (pow x 3) (sqrt 0.12900613773279798))))

6.0ms

(* (pow x 3) (sqrt 0.12900613773279798))

10.0ms

(* (sqrt 0.12900613773279798) (* (pow x 3) (sqrt 0.12900613773279798)))

simplify48.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	241	500
1	1048	448
2	5002	399

prune102.0ms

Filtered

48 candidates to 81 candidates (-68.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	81	5	86

Merged error: 0b

Counts

86 → 5

regimes64.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample539.0ms

Algorithm

intervals

Results

352.0ms

11938×

body

valid

Details

sample19.0ms

simplify194.0ms

prune6.0ms

localize6.0ms

rewrite20.0ms

series19.0ms

simplify152.0ms

prune67.0ms

localize5.0ms

rewrite14.0ms

series16.0ms

simplify147.0ms

prune66.0ms

localize5.0ms

rewrite14.0ms

series16.0ms

simplify37.0ms

prune57.0ms

localize8.0ms

rewrite20.0ms

series29.0ms

simplify48.0ms

prune102.0ms

regimes64.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample539.0ms

Profiling