Details

sample34.0ms

Algorithm

intervals

Results

14.0ms	265×	body	80	valid
1.0ms	2×	body	1280	valid
1.0ms	3×	body	640	valid
1.0ms	4×	body	320	valid
0.0ms	1×	body	160	valid

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5183	15

prune13.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: 1.8b

Counts

2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
0.0b	(- (tanh (/ t y)) (tanh (/ x y)))
1.0b	(* z (- (tanh (/ t y)) (tanh (/ x y))))
3.7b	(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

33×	`associate-*r/`
27×	`frac-sub`
18×	`distribute-rgt-in` `tanh-def2` `distribute-lft-in` `tanh-def1` `tanh-def3`
13×	`add-sqr-sqrt`
11×	`pow1` `add-exp-log` `sub-neg` `*-un-lft-identity` `add-cbrt-cube`
8×	`associate-+r+` `add-log-exp`
7×	`add-cube-cbrt`
6×	`associate-r` `associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`flip3--` `flip--`
2×	`*-commutative` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `flip3-+` `diff-log` `sum-log` `flip-+` `unswap-sqr`

Counts

4 → 114

Calls

4 calls:

4.0ms	(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
8.0ms	(- (tanh (/ t y)) (tanh (/ x y)))
12.0ms	(* z (- (tanh (/ t y)) (tanh (/ x y))))
17.0ms	(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series392.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
83.0ms	(- (tanh (/ t y)) (tanh (/ x y)))
101.0ms	(* z (- (tanh (/ t y)) (tanh (/ x y))))
78.0ms	(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify33.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5135	2592

prune195.0ms

Filtered

89 candidates to 126 candidates (-41.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	119	7	126
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	119	9	128

Merged error: 0.9b

Counts

128 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.7b	(* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y)))
2.1b	(* (* (cbrt y) (cbrt y)) (* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))))
2.2b	(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

33×	`associate-r/` `associate-l/`
32×	`pow1` `add-exp-log`
27×	`frac-sub`
22×	`add-cbrt-cube`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
18×	`tanh-def2` `tanh-def1` `tanh-def3`
15×	`add-sqr-sqrt`
11×	`*-un-lft-identity`
9×	`add-cube-cbrt` `associate-l`
8×	`associate-r`
7×	`cbrt-prod`
4×	`add-log-exp`
3×	`flip3--` `*-commutative` `flip--`
2×	`unswap-sqr`
1×	`pow1/3` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 114

Calls

4 calls:

2.0ms	(cbrt y)
14.0ms	(* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y)))
21.0ms	(* (* (cbrt y) (cbrt y)) (* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))))
16.0ms	(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))

series381.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
140.0ms	(* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y)))
83.0ms	(* (* (cbrt y) (cbrt y)) (* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))))
134.0ms	(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))

simplify32.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5146	2430

prune223.0ms

Filtered

94 candidates to 126 candidates (-34.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	119	7	126
Fresh	4	3	7
Picked	1	0	1
Done	1	0	1
Total	125	10	135

Merged error: 0.2b

Counts

135 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.5b	(cbrt y)
1.9b	(* (* (cbrt y) (* (cbrt y) z)) (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y)))
2.2b	(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

27×	`pow1` `add-exp-log`
22×	`associate-*l/`
18×	`frac-sub`
17×	`add-cbrt-cube`
16×	`pow-prod-down` `prod-exp` `cbrt-unprod`
15×	`add-sqr-sqrt`
12×	`tanh-def2` `tanh-def1` `tanh-def3`
11×	`-un-lft-identity` `associate-r/`
10×	`cbrt-prod`
9×	`add-cube-cbrt`
7×	`associate-r`
6×	`associate-l`
4×	`add-log-exp`
2×	`flip3--` `pow1/3` `*-commutative` `flip--` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 96

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
19.0ms	(* (* (cbrt y) (* (cbrt y) z)) (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y)))
13.0ms	(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))

series268.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
26.0ms	(cbrt y)
80.0ms	(* (* (cbrt y) (* (cbrt y) z)) (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y)))
137.0ms	(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))

simplify49.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4980	1961
1	4980	1961

prune164.0ms

Filtered

74 candidates to 108 candidates (-45.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	108	10	118

Merged error: 0.2b

Counts

118 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

2.1b	(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
3.5b	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
3.5b	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
3.5b	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

rewrite837.0ms

Algorithm

rewrite-expression-head

Rules

5181×	`associate-*r/`
4785×	`cbrt-div`
3915×	`frac-sub`
3025×	`frac-times`
2610×	`tanh-def2` `tanh-def1` `tanh-def3`
435×	`flip3--` `flip--`
275×	`associate-*l/`
60×	`pow1` `add-exp-log`
44×	`pow-prod-down` `prod-exp` `cbrt-unprod`
32×	`add-cbrt-cube`
15×	`cbrt-prod`
13×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
4×	`add-log-exp`
3×	`pow1/3` `distribute-lft-out--` `difference-of-squares`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 1845

Calls

4 calls:

310.0ms	(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
8.0ms	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
8.0ms	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
8.0ms	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

series562.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
159.0ms	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
155.0ms	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
162.0ms	(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.1s

Algorithm

egg-herbie

Counts

1857 → 1857

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5587	197365

prune33.5s

Filtered

1840 candidates to 1857 candidates (-0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	1857	0	1857
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	1857	10	1867

Merged error: 0.2b

Counts

1867 → 10

regimes454.0ms

Accuracy

0% (2.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	22
1	20	22

end0.0ms

sample929.0ms

Algorithm

intervals

Results

436.0ms	8366×	body	80	valid
15.0ms	53×	body	1280	valid
14.0ms	70×	body	640	valid
12.0ms	74×	body	320	valid
4.0ms	39×	body	160	valid

Details

sample34.0ms

simplify45.0ms

prune13.0ms

localize11.0ms

rewrite46.0ms

series392.0ms

simplify33.0ms

prune195.0ms

localize15.0ms

rewrite59.0ms

series381.0ms

simplify32.0ms

prune223.0ms

localize15.0ms

rewrite39.0ms

series268.0ms

simplify49.0ms

prune164.0ms

localize20.0ms

rewrite837.0ms

series562.0ms

simplify1.1s

prune33.5s

regimes454.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample929.0ms

Profiling