Details

Time bar (total: 3.6s)

analyze587.0ms (16.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample986.0ms (27.7%)

Results
932.0ms8256×body128valid
39.0ms373×body128invalid
Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess40.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
630×div-sub_binary64
518×fma-neg_binary64
288×associate-/r/_binary64
287×fma-def_binary64
264×associate-/r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02570
15970
210470
318470
427470
548970
681170
7126970
8277170
044
144
Stop Event
1×unsound
1×node limit
Symmetry

(sort z t)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify12.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
100×fma-def_binary64
56×fma-neg_binary64
29×cancel-sign-sub-inv_binary64
18×sub-neg_binary64
13×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
22610
34310
46310
59710
615410
720710
827110
935610
1040610
1141210
Stop Event
1×saturated
Counts
1 → 1

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
2.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶2.0b
(/.f64 x (-.f64 y (*.f64 z t)))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓2.0b
(/.f64 x (-.f64 y (*.f64 z t)))

series37.0ms (1%)

Counts
1 → 48
Calls

12 calls:

8.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
x
0
6.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
t
0
4.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
x
-inf
3.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
x
inf
2.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
t
inf

rewrite46.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
642×prod-diff_binary64
207×fma-def_binary64
170×expm1-udef_binary64
170×log1p-udef_binary64
150×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117710
2254310
Stop Event
1×node limit
Counts
1 → 35

simplify56.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
866×fma-neg_binary64
715×times-frac_binary64
451×associate-/l*_binary64
298×associate-/r*_binary64
229×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0561381
11751321
26861269
348361269
Stop Event
1×node limit
Counts
83 → 51

prune39.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New46551
Fresh000
Picked011
Done000
Total46652
Error
1.9b
Counts
52 → 6
Alt Table
StatusErrorProgram
2.9b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 1 (-.f64 y (*.f64 z t)))))
✓2.0b
(/.f64 x (-.f64 y (*.f64 z t)))
▶2.8b
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) 3)
2.9b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))))
2.8b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (/.f64 x (cbrt.f64 (-.f64 y (*.f64 z t)))))
31.9b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (/.f64 1 (-.f64 y (*.f64 z t)))))
Compiler

Compiled 1032 to 443 computations (57.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.5b
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) 3)
2.0b
(/.f64 x (-.f64 y (*.f64 z t)))
✓19.2b
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t))))

series433.0ms (12.2%)

Counts
2 → 24
Calls

24 calls:

69.0ms
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) 3)
y
0
53.0ms
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) 3)
y
-inf
39.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t))))
y
0
27.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t))))
y
-inf
25.0ms
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) 3)
t
-inf

rewrite54.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
642×prod-diff_binary64
199×expm1-udef_binary64
199×log1p-udef_binary64
112×add-sqr-sqrt_binary64
109×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
123822
2303722
Stop Event
1×node limit
Counts
2 → 79

simplify55.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
999×times-frac_binary64
263×associate-*r*_binary64
198×associate-*l*_binary64
188×sqr-pow_binary64
182×fma-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02442359
17712305
229242302
Stop Event
1×node limit
Counts
103 → 110

prune150.0ms (4.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1574161
Fresh134
Picked101
Done011
Total1598167
Error
0.0b
Counts
167 → 8
Alt Table
StatusErrorProgram
31.9b
(/.f64 (sqrt.f64 x) (/.f64 (-.f64 y (*.f64 z t)) (sqrt.f64 x)))
3.4b
(pow.f64 (/.f64 1 (cbrt.f64 (/.f64 (-.f64 y (*.f64 z t)) x))) 3)
33.0b
(pow.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 x t) z)) (cbrt.f64 -1)) 3)
2.9b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 1 (-.f64 y (*.f64 z t)))))
✓2.0b
(/.f64 x (-.f64 y (*.f64 z t)))
▶2.7b
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
2.9b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))))
2.8b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (/.f64 x (cbrt.f64 (-.f64 y (*.f64 z t)))))
Compiler

Compiled 4569 to 2550 computations (44.2% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.8b
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
✓2.0b
(/.f64 (-.f64 y (*.f64 z t)) x)

series60.0ms (1.7%)

Counts
2 → 96
Calls

24 calls:

9.0ms
(/.f64 (-.f64 y (*.f64 z t)) x)
x
-inf
6.0ms
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
t
inf
4.0ms
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
x
0
4.0ms
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
x
-inf
4.0ms
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
x
inf

rewrite131.0ms (3.7%)

Algorithm
1×batch-egg-rewrite
Rules
887×prod-diff_binary64
302×egg-rr
126×add-sqr-sqrt_binary64
118×add-cbrt-cube_binary64
118×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01125
124420
2356220
Stop Event
1×node limit
Counts
2 → 302

simplify52.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
715×times-frac_binary64
464×associate-/l*_binary64
297×associate-/r*_binary64
236×associate-*l*_binary64
222×associate-*r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0661848
12031788
27421736
Stop Event
1×node limit
Counts
398 → 326

prune206.0ms (5.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New3233326
Fresh516
Picked011
Done011
Total3286334
Error
0b
Counts
334 → 6
Alt Table
StatusErrorProgram
✓2.7b
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
▶2.7b
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
✓2.0b
(/.f64 x (-.f64 y (*.f64 z t)))
2.9b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))))
31.0b
(neg.f64 (/.f64 (/.f64 x z) t))
32.5b
(/.f64 -1 (neg.f64 (*.f64 (neg.f64 (/.f64 t x)) z)))
Compiler

Compiled 12735 to 4286 computations (66.3% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.8b
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
✓2.1b
(*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))

series49.0ms (1.4%)

Counts
2 → 96
Calls

24 calls:

7.0ms
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
x
inf
4.0ms
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
x
0
4.0ms
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
x
-inf
2.0ms
(*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))
t
-inf
2.0ms
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
y
0

rewrite56.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
642×prod-diff_binary64
138×add-sqr-sqrt_binary64
129×add-cbrt-cube_binary64
128×log1p-expm1-u_binary64
128×expm1-log1p-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01325
127823
2379323
Stop Event
1×node limit
Counts
2 → 80

simplify40.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
715×times-frac_binary64
464×associate-/l*_binary64
297×associate-/r*_binary64
236×associate-*l*_binary64
222×associate-*r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0661848
12031788
27421736
Stop Event
1×node limit
Counts
176 → 104

prune66.0ms (1.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1040104
Fresh033
Picked011
Done022
Total1046110
Error
0b
Counts
110 → 6
Alt Table
StatusErrorProgram
✓2.7b
(/.f64 -1 (neg.f64 (/.f64 (-.f64 y (*.f64 z t)) x)))
✓2.7b
(/.f64 -1 (neg.f64 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))))
✓2.0b
(/.f64 x (-.f64 y (*.f64 z t)))
2.9b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))))
31.0b
(neg.f64 (/.f64 (/.f64 x z) t))
32.5b
(/.f64 -1 (neg.f64 (*.f64 (neg.f64 (/.f64 t x)) z)))
Compiler

Compiled 1821 to 817 computations (55.1% saved)

regimes293.0ms (8.2%)

Accuracy

Total 2.8b remaining (99.4%)

Threshold costs 0b (0%)

Counts
48 → 1
Compiler

Compiled 5659 to 3778 computations (33.2% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
4×*-commutative_binary64
4×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
22610
33210
43610
53710
Stop Event
1×saturated

end74.0ms (2.1%)

Stop Event
1×fuel
Remove

(sort z t)

Compiler

Compiled 134 to 90 computations (32.8% saved)

Profiling

Loading profile data...