Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
80%	50%	12.5%	0%	37.5%	0%	0%	5
90%	56.2%	6.2%	0%	37.5%	0%	0%	6
95%	59.3%	3.1%	0%	37.5%	0%	0%	7
97.5%	60.9%	1.6%	0%	37.5%	0%	0%	8
98.8%	61.7%	0.8%	0%	37.5%	0%	0%	9
99.4%	62.1%	0.4%	0%	37.5%	0%	0%	10
99.7%	62.3%	0.2%	0%	37.5%	0%	0%	11
99.8%	62.4%	0.1%	0%	37.5%	0%	0%	12

Compiler

Compiled 9 to 5 computations (44.4% saved)

sample836.0ms (46.8%)

Results

680.0ms	8256×	body	256	valid
0.0ms	3×	body	256	infinite

Bogosity

preprocess7.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

22×	`rational.json-simplify-2`
20×	`rational.json-simplify-55`
16×	`rational.json-simplify-43`
10×	`rational.json-simplify-54`
2×	`rational.json-simplify-73`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	10	19
2	13	19
3	20	19
4	33	19
5	47	19
6	47	19
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify17.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

22×	`rational.json-simplify-2`
20×	`rational.json-simplify-55`
16×	`rational.json-simplify-43`
10×	`rational.json-simplify-54`
2×	`rational.json-simplify-73`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	10	19
2	13	19
3	20	19
4	33	19
5	47	19
6	47	19

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

eval0.0ms (0%)

Compiler: Compiled 22 to 7 computations (68.2% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	1	2	3
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	3	4

Error

0.1b

Counts

4 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 16 to 7 computations (56.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 12 to 3 computations (75% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
0.0ms	d1	@	inf	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
0.0ms	d1	@	-inf	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

rewrite83.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1648×	`rational.json-5`
1646×	`exponential.json-3`
1646×	`rational.json-1`
1646×	`rational.json-2`
1646×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	19
1	47	19
2	182	19
3	658	19
4	3158	19

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 d1 d1) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (neg.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (.f64 d1 (.f64 d1 (fabs.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (fabs.f64 d1) (neg.f64 (.f64 d1 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (fabs.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 d1) (neg.f64 (.f64 d1 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 d1 (.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (/.f64 d1 (fabs.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 (fabs.f64 d1))) (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (neg.f64 (.f64 d1 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 d1 (fabs.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (fabs.f64 d1) (neg.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (+.f64 d1 d1) (fabs.f64 (+.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (-.f64 0 (fabs.f64 (/.f64 d1 d1)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (neg.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (fabs.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 d1) (neg.f64 (*.f64 d1 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 d1) (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 d1) (neg.f64 (*.f64 d1 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 d1) (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 d1 (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 (fabs.f64 d1))) (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (neg.f64 (*.f64 d1 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (fabs.f64 d1) (neg.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (+.f64 d1 d1) (fabs.f64 (+.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (-.f64 0 (fabs.f64 (/.f64 d1 d1)))))))))

simplify202.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

1406×	`rational.json-simplify-2`
1124×	`rational.json-simplify-47`
1114×	`rational.json-simplify-43`
1036×	`rational.json-simplify-49`
702×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	118	901
1	297	901
2	559	901
3	1364	901
4	3473	901
5	7422	901

Stop Event

1×	node limit

Counts

55 → 46

Calls

Call 1

Inputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(+.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 0)
(+.f64 0 (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(-.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 0)
(/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 1)
(/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 d1 d1))
(pow.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 1)
(fabs.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (neg.f64 (/.f64 d1 d1))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (fabs.f64 d1)))
(fabs.f64 (.f64 d1 (.f64 d1 (*.f64 d1 (fabs.f64 d1)))))
(fabs.f64 (-.f64 0 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))
(fabs.f64 (-.f64 0 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 d1 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (fabs.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(fabs.f64 (.f64 (fabs.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (neg.f64 d1)))
(fabs.f64 (.f64 (neg.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (/.f64 d1 (fabs.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 (fabs.f64 d1))) (neg.f64 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 d1 (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 d1))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (fabs.f64 d1) (neg.f64 d1))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (+.f64 d1 d1) (fabs.f64 (+.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(fabs.f64 (/.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (-.f64 0 (fabs.f64 (/.f64 d1 d1)))))

Outputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(+.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 0)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(+.f64 0 (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(-.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 0)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 d1 d1))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(pow.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) 1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (neg.f64 (/.f64 d1 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (fabs.f64 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 d1 (.f64 d1 (*.f64 d1 (fabs.f64 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (-.f64 0 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (-.f64 0 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 d1 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (fabs.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (fabs.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (neg.f64 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (neg.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (neg.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (/.f64 d1 (fabs.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 (fabs.f64 d1))) (neg.f64 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (.f64 d1 (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (fabs.f64 d1) (neg.f64 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (/.f64 (+.f64 d1 d1) (fabs.f64 (+.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 (/.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (-.f64 0 (fabs.f64 (/.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.1b	(.f64 (.f64 d1 d1) d1)

Compiler

Compiled 17 to 4 computations (76.5% saved)

series1.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(.f64 (.f64 d1 d1) d1)
0.0ms	d1	@	0	(.f64 (.f64 d1 d1) d1)
0.0ms	d1	@	inf	(.f64 (.f64 d1 d1) d1)
0.0ms	d1	@	inf	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
0.0ms	d1	@	0	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

rewrite85.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1578×	`rational.json-5`
1576×	`exponential.json-3`
1576×	`rational.json-1`
1576×	`rational.json-2`
1576×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	32
1	54	32
2	193	32
3	682	32
4	3033	32

Stop Event

1×	node limit

Counts

2 → 51

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 (.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 d1 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 d1 (.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 d1 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (.f64 d1 (.f64 d1 d1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 d1 d1)) (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 d1 (.f64 d1 d1))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 d1 (.f64 d1 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (.f64 d1 (.f64 d1 (fabs.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (neg.f64 (.f64 d1 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (fabs.f64 d1) (neg.f64 (.f64 d1 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (fabs.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 d1 (.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 d1) (neg.f64 (.f64 d1 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 d1 (.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 d1) (.f64 d1 (.f64 d1 (fabs.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 d1 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (neg.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 d1) (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 d1 (fabs.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (fabs.f64 d1) (neg.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (+.f64 d1 d1) (.f64 (fabs.f64 d1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (neg.f64 (.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (neg.f64 (fabs.f64 (/.f64 d1 d1)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (*.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 d1 d1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 d1 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 d1 (*.f64 d1 d1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 d1 d1)) (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (*.f64 d1 d1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 d1 (*.f64 d1 d1))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (fabs.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 d1) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (neg.f64 (*.f64 d1 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 d1) (neg.f64 (*.f64 d1 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 d1) (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 d1 (*.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 d1) (neg.f64 (*.f64 d1 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 d1) (*.f64 d1 (*.f64 d1 (fabs.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 d1 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 d1) (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (neg.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 (fabs.f64 d1) (neg.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (/.f64 (+.f64 d1 d1) (*.f64 (fabs.f64 d1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (*.f64 d1 d1) (neg.f64 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (neg.f64 (fabs.f64 (/.f64 d1 d1)))))))))

simplify192.0ms (10.7%)

Algorithm

1×	egg-herbie

Rules

1186×	`rational.json-simplify-47`
922×	`rational.json-simplify-49`
890×	`rational.json-simplify-50`
828×	`rational.json-simplify-2`
692×	`rational.json-simplify-104`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	129	1083
1	314	1083
2	621	1083
3	1511	1083
4	3267	1083
5	7413	1083

Stop Event

1×	node limit

Counts

75 → 56

Calls

Call 1

Inputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(+.f64 (.f64 d1 (.f64 d1 d1)) 0)
(+.f64 0 (.f64 d1 (.f64 d1 d1)))
(-.f64 (.f64 d1 (.f64 d1 d1)) 0)
(-.f64 0 (neg.f64 (.f64 d1 (.f64 d1 d1))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 d1 (.f64 d1 d1)))) 1)
(/.f64 (.f64 d1 (.f64 d1 d1)) 1)
(/.f64 (.f64 d1 (.f64 d1 d1)) (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(pow.f64 (.f64 d1 (.f64 d1 d1)) 1)
(neg.f64 (neg.f64 (.f64 d1 (.f64 d1 d1))))
(+.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 0)
(+.f64 0 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(-.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 0)
(-.f64 0 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) 1)
(/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 1)
(/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 d1))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 1)
(neg.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(fabs.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(fabs.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(fabs.f64 (.f64 d1 (.f64 d1 (*.f64 d1 (fabs.f64 d1)))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (fabs.f64 d1)))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 d1 (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(fabs.f64 (.f64 (fabs.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(fabs.f64 (.f64 (fabs.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (neg.f64 d1)))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (.f64 (neg.f64 d1) (.f64 d1 (*.f64 d1 (fabs.f64 d1)))))
(fabs.f64 (.f64 d1 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (neg.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(fabs.f64 (.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (neg.f64 (/.f64 d1 d1))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 d1))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 (fabs.f64 d1) (neg.f64 d1))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (+.f64 d1 d1) (.f64 (fabs.f64 d1) 2))))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (neg.f64 (fabs.f64 (/.f64 d1 d1)))))

Outputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(+.f64 (.f64 d1 (.f64 d1 d1)) 0)
(.f64 d1 (.f64 d1 d1))
(+.f64 0 (.f64 d1 (.f64 d1 d1)))
(.f64 d1 (.f64 d1 d1))
(-.f64 (.f64 d1 (.f64 d1 d1)) 0)
(.f64 d1 (.f64 d1 d1))
(-.f64 0 (neg.f64 (.f64 d1 (.f64 d1 d1))))
(.f64 d1 (.f64 d1 d1))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 d1 (.f64 d1 d1)))) 1)
(.f64 d1 (.f64 d1 d1))
(/.f64 (.f64 d1 (.f64 d1 d1)) 1)
(.f64 d1 (.f64 d1 d1))
(/.f64 (.f64 d1 (.f64 d1 d1)) (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 d1 (.f64 d1 d1))
(pow.f64 (.f64 d1 (.f64 d1 d1)) 1)
(.f64 d1 (.f64 d1 d1))
(neg.f64 (neg.f64 (.f64 d1 (.f64 d1 d1))))
(.f64 d1 (.f64 d1 d1))
(+.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 0)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(+.f64 0 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(-.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 0)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(-.f64 0 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) 1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) 1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(neg.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 d1 (.f64 d1 (*.f64 d1 (fabs.f64 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (fabs.f64 d1)))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 d1)) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (/.f64 (.f64 d1 d1) (neg.f64 (/.f64 d1 d1))) (/.f64 (*.f64 d1 d1) (neg.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 d1 (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (fabs.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (fabs.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (neg.f64 d1)))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (.f64 d1 (*.f64 d1 (fabs.f64 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (neg.f64 d1) (neg.f64 (.f64 d1 (*.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (neg.f64 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (neg.f64 d1) (.f64 d1 (*.f64 d1 (fabs.f64 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 d1 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (neg.f64 d1) (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (fabs.f64 (/.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))) (/.f64 d1 (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (neg.f64 (/.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 d1) (/.f64 (*.f64 d1 d1) (fabs.f64 (/.f64 d1 d1))))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 d1 (fabs.f64 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 (/.f64 d1 d1) (fabs.f64 (/.f64 (/.f64 d1 d1) (/.f64 d1 d1))))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (/.f64 (fabs.f64 d1) (neg.f64 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (/.f64 (+.f64 d1 d1) (.f64 (fabs.f64 d1) 2))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 (.f64 d1 d1) (neg.f64 (*.f64 d1 d1))) (fabs.f64 (/.f64 d1 d1))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(fabs.f64 (/.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) (neg.f64 (fabs.f64 (/.f64 d1 d1)))))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

eval11.0ms (0.6%)

Compiler: Compiled 1335 to 207 computations (84.5% saved)

prune12.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	101	3	104

Error

Counts

104 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(pow.f64 d1 4)
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 20 to 10 computations (50% saved)

localize3.0ms (0.2%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	2	2
Total	3	3

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(pow.f64 d1 4)
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 20 to 10 computations (50% saved)

regimes6.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)

Outputs
(pow.f64 d1 4)

Calls

2 calls:

3.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Error	Segments	Branch
0b	1	`d1`
0b	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 28 to 12 computations (57.1% saved)

regimes248.0ms (13.9%)

Accuracy

Total -0.1b remaining (-64.7%)

Threshold costs -0.1b (-64.7%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Calls

2 calls:

245.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Error	Segments	Branch
0.1b	1	`d1`
0.1b	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 25 to 10 computations (60% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	45

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 d1 4)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
(pow.f64 d1 4)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 20 to 10 computations (50% saved)

soundness32.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

22×	`rational.json-simplify-2`
20×	`rational.json-simplify-55`
16×	`rational.json-simplify-43`
10×	`rational.json-simplify-54`
2×	`rational.json-simplify-73`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	10	19
2	13	19
3	20	19
4	33	19
5	47	19
6	47	19

Stop Event

1×

saturated

Compiler

Compiled 22 to 6 computations (72.7% saved)

end32.0ms (1.8%)

Compiler: Compiled 18 to 7 computations (61.1% saved)

Details

analyze3.0ms (0.2%)

sample836.0ms (46.8%)

preprocess7.0ms (0.4%)

simplify17.0ms (0.9%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series1.0ms (0.1%)

rewrite83.0ms (4.6%)

simplify202.0ms (11.3%)

localize6.0ms (0.4%)

series1.0ms (0.1%)

rewrite85.0ms (4.8%)

simplify192.0ms (10.7%)

eval11.0ms (0.6%)

prune12.0ms (0.7%)

localize3.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes6.0ms (0.4%)

regimes248.0ms (13.9%)

simplify4.0ms (0.2%)

soundness32.0ms (1.8%)

end32.0ms (1.8%)

Profiling