Details

analyze354.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample149.0ms

Algorithm

intervals

Results

64.0ms	109×	body	1280	valid
24.0ms	76×	body	640	valid
18.0ms	54×	body	1280	invalid
10.0ms	41×	body	640	invalid
9.0ms	43×	body	320	valid
4.0ms	73×	body	80	invalid
4.0ms	22×	body	320	invalid
3.0ms	24×	body	160	valid
1.0ms	9×	body	160	invalid
0.0ms	4×	body	80	valid

simplify82.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4863	18
1	4863	18

prune2.0ms

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

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.7b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64_562` `add-exp-log_binary64_554` `*-un-lft-identity_binary64_590` `pow1_binary64_532` `add-sqr-sqrt_binary64_575`
5×	`associate-r_binary64_649`
4×	`add-log-exp_binary64_555`
3×	`cbrt-unprod_binary64_559` `pow-prod-down_binary64_513` `sub-neg_binary64_594` `add-cube-cbrt_binary64_561` `prod-exp_binary64_537`
2×	`flip--_binary64_616` `difference-of-squares_binary64_619` `flip3--_binary64_589` `distribute-lft-out--_binary64_635` `associate-*r/_binary64_651`
1×	`distribute-rgt-in_binary64_633` `-commutative_binary64_658` `distribute-lft-in_binary64_632` `associate-l*_binary64_650` `diff-log_binary64_501`

Counts

2 → 37

Calls

2 calls:

11.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series91.0ms

Counts

2 → 6

Calls

2 calls:

72.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
19.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify92.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4891	764
1	4891	764

prune47.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0.1b

Counts

44 → 2

localize15.0ms

Local error

Found 3 expressions with local error:

0.1b	(*.f64 1/60 (pow.f64 im 5))
0.1b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
0.1b	(*.f64 (pow.f64 im 3) -1/3)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_575`
18×	`add-exp-log_binary64_554`
16×	`associate-l_binary64_650`
13×	`associate-r_binary64_649`
12×	`add-cbrt-cube_binary64_562`
11×	`add-cube-cbrt_binary64_561` `*-un-lft-identity_binary64_590`
9×	`prod-exp_binary64_537`
8×	`unpow-prod-down_binary64_521` `pow1_binary64_532`
7×	`unswap-sqr_binary64_618`
5×	`cbrt-unprod_binary64_559`
4×	`sqr-pow_binary64_622` `cube-prod_binary64_563`
3×	`pow-prod-down_binary64_513` `*-commutative_binary64_658` `add-log-exp_binary64_555`
2×	`pow-to-exp_binary64_511` `pow-exp_binary64_510` `associate-*r/_binary64_651`
1×	`flip-+_binary64_615` `distribute-rgt-in_binary64_633` `cube-mult_binary64_565` `distribute-lft-in_binary64_632` `unpow3_binary64_530` `flip3-+_binary64_588`

Counts

3 → 78

Calls

3 calls:

5.0ms	(*.f64 1/60 (pow.f64 im 5))
12.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
6.0ms	(*.f64 (pow.f64 im 3) -1/3)

series216.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(*.f64 1/60 (pow.f64 im 5))
153.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
27.0ms	(*.f64 (pow.f64 im 3) -1/3)

simplify101.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4964	1386
1	4964	1386

prune104.0ms

Filtered

57 candidates to 87 candidates (-52.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	5	87
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	83	6	89

Merged error: 0.1b

Counts

89 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/120 (pow.f64 im 5))
0.1b	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
0.1b	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
0.3b	(*.f64 (sin.f64 re) -1/6)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log_binary64_554`
23×	`add-sqr-sqrt_binary64_575`
21×	`associate-l_binary64_650`
15×	`add-cbrt-cube_binary64_562`
14×	`add-cube-cbrt_binary64_561` `prod-exp_binary64_537` `-un-lft-identity_binary64_590` `associate-r*_binary64_649`
8×	`pow1_binary64_532`
7×	`unpow-prod-down_binary64_521`
6×	`cbrt-unprod_binary64_559`
5×	`unswap-sqr_binary64_618`
4×	`*-commutative_binary64_658` `add-log-exp_binary64_555`
3×	`pow-to-exp_binary64_511` `sqr-pow_binary64_622` `cube-prod_binary64_563` `pow-exp_binary64_510`
2×	`pow-prod-down_binary64_513` `associate-*r/_binary64_651`
1×	`flip-+_binary64_615` `distribute-rgt-in_binary64_633` `cube-mult_binary64_565` `distribute-lft-in_binary64_632` `unpow3_binary64_530` `flip3-+_binary64_588`

Counts

4 → 94

Calls

4 calls:

5.0ms	(*.f64 1/120 (pow.f64 im 5))
7.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
6.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
5.0ms	(*.f64 (sin.f64 re) -1/6)

series285.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(*.f64 1/120 (pow.f64 im 5))
42.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
194.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
16.0ms	(*.f64 (sin.f64 re) -1/6)

simplify94.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5057	1314

prune109.0ms

Filtered

68 candidates to 106 candidates (-55.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	102	4	106
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	104	8	112

Merged error: 0.0b

Counts

112 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (.f64 1/60 (pow.f64 im 5))))) (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))
0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))
0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))
0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_557`
23×	`add-sqr-sqrt_binary64_575`
18×	`cbrt-div_binary64_558`
15×	`add-cube-cbrt_binary64_561` `*-un-lft-identity_binary64_590`
11×	`pow1_binary64_532`
9×	`pow1/3_binary64_524` `flip-+_binary64_615` `flip3-+_binary64_588`
6×	`swap-sqr_binary64_617` `add-exp-log_binary64_554` `associate-l_binary64_650` `associate-r_binary64_649`
4×	`add-cbrt-cube_binary64_562` `unswap-sqr_binary64_618` `frac-times_binary64_582` `add-log-exp_binary64_555`
2×	`pow-prod-up_binary64_512` `pow-prod-down_binary64_513` `associate-l/_binary64_652` `associate-r/_binary64_651` `pow-sqr_binary64_623`
1×	`cbrt-unprod_binary64_559` `pow2_binary64_523` `prod-exp_binary64_537` `*-commutative_binary64_658` `pow-plus_binary64_527`

Counts

4 → 87

Calls

4 calls:

19.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (.f64 1/60 (pow.f64 im 5))))) (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))
7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))
7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))
7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

series403.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (.f64 1/60 (pow.f64 im 5))))) (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))
94.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))
96.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))
98.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

simplify179.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (132.0ms)

Iter	Nodes	Cost
0	4906	4285
1	4906	4285

prune348.0ms

Filtered

83 candidates to 99 candidates (-19.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	98	9	107

Merged error: 0.0b

Counts

107 → 9

regimes151.0ms

Accuracy

0% (0.3b remaining)

Error of 0.7b against oracle of 0.4b and baseline of 0.7b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	79	29
1	79	29

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.9s	3276×	body	1280	valid
820.0ms	2566×	body	640	valid
510.0ms	1421×	body	1280	invalid
305.0ms	1269×	body	640	invalid
253.0ms	1273×	body	320	valid
144.0ms	2331×	body	80	invalid
102.0ms	606×	body	320	invalid
78.0ms	624×	body	160	valid
37.0ms	282×	body	160	invalid
17.0ms	261×	body	80	valid

Details

analyze354.0ms

sample149.0ms

simplify82.0ms

prune2.0ms

localize10.0ms

rewrite18.0ms

series91.0ms

simplify92.0ms

prune47.0ms

localize15.0ms

rewrite26.0ms

series216.0ms

simplify101.0ms

prune104.0ms

localize16.0ms

rewrite26.0ms

series285.0ms

simplify94.0ms

prune109.0ms

localize23.0ms

rewrite43.0ms

series403.0ms

simplify179.0ms

prune348.0ms

regimes151.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.5s

Profiling