Details

Time bar (total: 7.2s)

analyze949.0ms (13.2%)

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
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
9.4%90.4%0.2%10
23.4%74.9%1.8%11
27.3%69%3.7%12
36.6%56.5%6.8%13
40.5%52%7.4%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (17.3%)

Symmetry

(sort y t)

Results
879.0ms8256×body128valid
214.0ms2069×body128invalid
Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify38.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
998×fma-def_binary64
304×fma-neg_binary64
112×distribute-rgt-in_binary64
90×associate-*l*_binary64
87×associate-*r*_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
12010
24310
39610
417210
525210
639810
758110
884610
991010
1094310
1194910
1294910
1388610

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
9.7b
(*.f64 y (*.f64 t (-.f64 x z)))
▶5.4b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
Compiler

Compiled 68 to 41 computations (39.7% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.7b
(-.f64 (*.f64 x y) (*.f64 z y))
✓5.1b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)

series24.0ms (0.3%)

Counts
2 → 84
Calls

2 calls:

17.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
6.0ms
(-.f64 (*.f64 x y) (*.f64 z y))

rewrite10.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×associate-*l*_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
Counts
2 → 40
Calls

2 calls:

5.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
4.0ms
(-.f64 (*.f64 x y) (*.f64 z y))

simplify75.0ms (1%)

Algorithm
1×egg-herbie
Rules
919×fma-def_binary64
443×neg-mul-1_binary64
246×*-commutative_binary64
223×fma-neg_binary64
217×distribute-lft-neg-out_binary64
Counts
124 → 83
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0901269
12211209
27831202
319811199
442461199
551041199

prune53.0ms (0.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New76783
Fresh101
Picked101
Done000
Total78785
Error
0.0b
Counts
85 → 7
Alt Table
StatusErrorProgram
6.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
6.9b
(*.f64 (-.f64 x z) (*.f64 y t))
27.3b
(*.f64 (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))) (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))))
17.1b
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) (sqrt.f64 t)) (sqrt.f64 t))
▶5.4b
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)
9.7b
(*.f64 (-.f64 (*.f64 t x) (*.f64 t z)) y)
43.2b
(/.f64 (*.f64 t (*.f64 y (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))))) (+.f64 (*.f64 x y) (*.f64 z y)))
Compiler

Compiled 1445 to 394 computations (72.7% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.7b
(-.f64 (*.f64 y x) (*.f64 y z))
✓5.1b
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)

series22.0ms (0.3%)

Counts
2 → 54
Calls

2 calls:

14.0ms
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)
8.0ms
(-.f64 (*.f64 y x) (*.f64 y z))

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×associate-*l*_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
Counts
2 → 40
Calls

2 calls:

5.0ms
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)
3.0ms
(-.f64 (*.f64 y x) (*.f64 y z))

simplify65.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
921×fma-def_binary64
443×neg-mul-1_binary64
241×*-commutative_binary64
223×fma-neg_binary64
217×distribute-lft-neg-out_binary64
Counts
94 → 83
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0871023
1218963
2787956
31989953
44252953
55112953

prune43.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New83083
Fresh066
Picked011
Done000
Total83790
Error
0.0b
Counts
90 → 7
Alt Table
StatusErrorProgram
▶6.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
6.9b
(*.f64 (-.f64 x z) (*.f64 y t))
27.3b
(*.f64 (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))) (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))))
17.1b
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) (sqrt.f64 t)) (sqrt.f64 t))
✓5.4b
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)
9.7b
(*.f64 (-.f64 (*.f64 t x) (*.f64 t z)) y)
43.2b
(/.f64 (*.f64 t (*.f64 y (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))))) (+.f64 (*.f64 x y) (*.f64 z y)))
Compiler

Compiled 1424 to 386 computations (72.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.7b
(-.f64 (*.f64 x y) (*.f64 z y))
✓1.5b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
✓6.8b
(cbrt.f64 (*.f64 y (-.f64 x z)))
✓6.8b
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))

series3.2s (44.9%)

Counts
3 → 120
Calls

3 calls:

2.7s
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
246.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))
246.0ms
(cbrt.f64 (*.f64 y (-.f64 x z)))

rewrite34.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
58×cbrt-div_binary64
46×associate-*r/_binary64
29×flip--_binary64
29×flip3--_binary64
28×frac-times_binary64
Counts
3 → 79
Calls

3 calls:

13.0ms
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
4.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))
3.0ms
(cbrt.f64 (*.f64 y (-.f64 x z)))

simplify186.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
957×times-frac_binary64
829×fma-def_binary64
386×associate-*r*_binary64
337×associate-*l*_binary64
300×*-commutative_binary64
Counts
199 → 200
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04337809
111326904
235506650
360156650

prune199.0ms (2.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New3501351
Fresh055
Picked011
Done011
Total3508358
Error
0.0b
Counts
358 → 8
Alt Table
StatusErrorProgram
✓6.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
▶6.9b
(*.f64 (-.f64 x z) (*.f64 y t))
27.3b
(*.f64 (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))) (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))))
17.1b
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) (sqrt.f64 t)) (sqrt.f64 t))
44.7b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (*.f64 (cbrt.f64 -1) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (-.f64 x z)) (log.f64 (/.f64 -1 y))))))))
✓5.4b
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)
9.7b
(*.f64 (-.f64 (*.f64 t x) (*.f64 t z)) y)
43.2b
(/.f64 (*.f64 t (*.f64 y (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))))) (+.f64 (*.f64 x y) (*.f64 z y)))
Compiler

Compiled 14494 to 4003 computations (72.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series15.0ms (0.2%)

Counts
1 → 32
Calls

1 calls:

15.0ms
(*.f64 (-.f64 x z) (*.f64 y t))

rewrite7.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
5×associate-*l*_binary64
4×*-un-lft-identity_binary64
Counts
1 → 24
Calls

1 calls:

6.0ms
(*.f64 (-.f64 x z) (*.f64 y t))

simplify55.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
568×associate-*l*_binary64
483×fma-def_binary64
414×associate-*r*_binary64
378×distribute-rgt-neg-out_binary64
327×unsub-neg_binary64
Counts
56 → 42
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
066661
1178598
2527598
31835598
43260598
55376598

prune25.0ms (0.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New41142
Fresh055
Picked011
Done022
Total41950
Error
0b
Counts
50 → 9
Alt Table
StatusErrorProgram
✓6.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (cbrt.f64 (*.f64 y (-.f64 x z)))))
✓6.9b
(*.f64 (-.f64 x z) (*.f64 y t))
27.3b
(*.f64 (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))) (sqrt.f64 (*.f64 t (*.f64 y (-.f64 x z)))))
7.8b
(*.f64 (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z))) (*.f64 (cbrt.f64 (-.f64 x z)) (*.f64 y t)))
17.1b
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) (sqrt.f64 t)) (sqrt.f64 t))
44.7b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z y)))) (*.f64 t (*.f64 (cbrt.f64 -1) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (-.f64 x z)) (log.f64 (/.f64 -1 y))))))))
✓5.4b
(*.f64 (-.f64 (*.f64 y x) (*.f64 y z)) t)
9.7b
(*.f64 (-.f64 (*.f64 t x) (*.f64 t z)) y)
43.2b
(/.f64 (*.f64 t (*.f64 y (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))))) (+.f64 (*.f64 x y) (*.f64 z y)))
Compiler

Compiled 734 to 238 computations (67.6% saved)

regimes618.0ms (8.6%)

Accuracy

Total 1.6b remaining (98.4%)

Threshold costs 0b (0%)

Counts
63 → 3
Compiler

Compiled 7758 to 4168 computations (46.3% saved)

bsearch2.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
16×*-commutative_binary64
9×+-commutative_binary64
9×sub-neg_binary64
6×distribute-rgt-neg-in_binary64
6×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02566
14666
26466
37966
48766
59066
69166
79166

end245.0ms (3.4%)

Compiler

Compiled 386 to 194 computations (49.7% saved)

Profiling

Loading profile data...