Details

Time bar (total: 12.2s)

analyze942.0ms

Algorithm
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
3.1%71.7%25.1%9
4.7%69.8%25.5%10
7%66.9%26.1%11
10.9%61.5%27.6%12
11.1%47%41.9%13
12.8%44.4%42.8%14

sample61.0ms

Algorithm
intervals
Results
23.0ms360×body80nan
21.0ms256×body80valid

simplify231.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (216.0ms)

IterNodesCost
0539920

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.0b

Counts
2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 3 (/.f64 x (*.f64 y 27)))
1.0b
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
3.1b
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
5.5b
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
96×add-exp-log_binary64_12001
92×add-cbrt-cube_binary64_12009
41×prod-exp_binary64_11984
39×cbrt-unprod_binary64_12006
31×add-sqr-sqrt_binary64_12022
28×div-exp_binary64_11986
27×cbrt-undiv_binary64_12007
21×associate-*l*_binary64_12097
19×*-un-lft-identity_binary64_12037
18×add-cube-cbrt_binary64_12008
16×associate-*r*_binary64_12096 times-frac_binary64_12032
10×pow1_binary64_11979
6×unswap-sqr_binary64_12065
4×div-inv_binary64_12038 sqrt-prod_binary64_12016 add-log-exp_binary64_12002
3×pow-prod-down_binary64_11960 *-commutative_binary64_12105
2×associate-*l/_binary64_12099 associate-*r/_binary64_12098
1×rec-exp_binary64_11985 clear-num_binary64_12040 associate-/l*_binary64_12101 1-exp_binary64_11997 associate-/r*_binary64_12100 associate-/l/_binary64_12103 frac-2neg_binary64_12030
Counts
4 → 133
Calls
4 calls:
9.0ms
(*.f64 3 (/.f64 x (*.f64 y 27)))
8.0ms
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
19.0ms
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
12.0ms
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))

series919.0ms

Counts
4 → 12
Calls
4 calls:
253.0ms
(*.f64 3 (/.f64 x (*.f64 y 27)))
273.0ms
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
225.0ms
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
168.0ms
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0793627
1793627
048392904
148392904
0793627
1793627
048392904
148392904
013
113
0834623
1834623
048834491
148834491
0834623
1834623
048834491
148834491
013
113
0904668
1904668
047964536
147964536
0904668
1904668
047964536
147964536
013
113
01162530
11162530
050301457
01162530
11162530
050301457
013
113

simplify144.0ms

Counts
145 → 145
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
049882528
149882528

prune125.0ms

Filtered
86 candidates to 145 candidates (-68.6%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1432145
Fresh011
Picked101
Done000
Total1443147

Merged error: 0.0b

Counts
147 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.f64 (acos.f64 (*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
1.0b
(/.f64 (cbrt.f64 1) (cbrt.f64 3))
3.1b
(*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
5.6b
(/.f64 (/.f64 x (*.f64 y 27)) z)

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
111×times-frac_binary64_12032
94×add-sqr-sqrt_binary64_12022
85×cbrt-prod_binary64_12004
78×*-un-lft-identity_binary64_12037
76×add-cube-cbrt_binary64_12008
46×associate-*r*_binary64_12096
40×add-exp-log_binary64_12001
36×add-cbrt-cube_binary64_12009
13×prod-exp_binary64_11984 associate-/l*_binary64_12101 cbrt-unprod_binary64_12006
12×div-exp_binary64_11986 cbrt-undiv_binary64_12007
11×pow1_binary64_11979
9×associate-/r*_binary64_12100
7×div-inv_binary64_12038 unswap-sqr_binary64_12065
4×pow-prod-down_binary64_11960 associate-*l*_binary64_12097 add-log-exp_binary64_12002
3×sqrt-prod_binary64_12016
2×clear-num_binary64_12040 *-commutative_binary64_12105 associate-*r/_binary64_12098 frac-2neg_binary64_12030
1×associate-*l/_binary64_12099 associate-/l/_binary64_12103
Counts
4 → 200
Calls
4 calls:
19.0ms
(*.f64 (acos.f64 (*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
6.0ms
(/.f64 (cbrt.f64 1) (cbrt.f64 3))
16.0ms
(*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
9.0ms
(/.f64 (/.f64 x (*.f64 y 27)) z)

series2.1s

Counts
4 → 10
Calls
4 calls:
499.0ms
(*.f64 (acos.f64 (*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
0.0ms
(/.f64 (cbrt.f64 1) (cbrt.f64 3))
198.0ms
(*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
1.4s
(/.f64 (/.f64 x (*.f64 y 27)) z)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0843573
1843573
036122718
136122718
0843573
1843573
036122718
136122718
013
113
0794596
1794596
050184479
0794596
1794596
050184479
013
113
0894704
1894704
048184581
148184581
0894704
1894704
048184581
148184581
013
113

simplify131.0ms

Counts
210 → 210
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049804478
149804478

prune452.0ms

Filtered
160 candidates to 210 candidates (-31.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2091210
Fresh022
Picked101
Done000
Total2103213

Merged error: 0b

Counts
213 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.f64 (acos.f64 (*.f64 (*.f64 3/2 (*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))) (sqrt.f64 t))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
1.0b
(/.f64 (cbrt.f64 1) (cbrt.f64 3))
3.1b
(*.f64 (*.f64 3/2 (*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))) (sqrt.f64 t))
3.8b
(*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
168×times-frac_binary64_12032
150×add-sqr-sqrt_binary64_12022
118×add-exp-log_binary64_12001
107×*-un-lft-identity_binary64_12037
102×add-cube-cbrt_binary64_12008
89×associate-*r*_binary64_12096
85×cbrt-prod_binary64_12004
66×add-cbrt-cube_binary64_12009
53×prod-exp_binary64_11984
38×div-exp_binary64_11986
29×cbrt-unprod_binary64_12006
20×cbrt-undiv_binary64_12007
17×associate-*l*_binary64_12097 pow1_binary64_11979
16×unswap-sqr_binary64_12065
8×pow-prod-down_binary64_11960
7×div-inv_binary64_12038
6×rec-exp_binary64_11985 associate-/l*_binary64_12101 1-exp_binary64_11997 associate-/r*_binary64_12100 associate-*r/_binary64_12098
5×associate-*l/_binary64_12099
4×add-log-exp_binary64_12002
3×*-commutative_binary64_12105 sqrt-prod_binary64_12016
2×frac-times_binary64_12029
1×clear-num_binary64_12040 frac-2neg_binary64_12030
Counts
4 → 262
Calls
4 calls:
15.0ms
(*.f64 (acos.f64 (*.f64 (*.f64 3/2 (*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))) (sqrt.f64 t))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
6.0ms
(/.f64 (cbrt.f64 1) (cbrt.f64 3))
22.0ms
(*.f64 (*.f64 3/2 (*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))) (sqrt.f64 t))
29.0ms
(*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))

series1.6s

Counts
4 → 10
Calls
4 calls:
279.0ms
(*.f64 (acos.f64 (*.f64 (*.f64 3/2 (*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))) (sqrt.f64 t))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
0.0ms
(/.f64 (cbrt.f64 1) (cbrt.f64 3))
273.0ms
(*.f64 (*.f64 3/2 (*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))) (sqrt.f64 t))
1.1s
(*.f64 (/.f64 1 y) (/.f64 (/.f64 x 27) z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0643600
1643600
047782727
147782727
0643600
1643600
047782727
147782727
013
113
0814623
1814623
052314500
0814623
1814623
052314500
013
113
0914731
1914731
049404608
149404608
0914731
1914731
049404608
149404608
013
113

simplify154.0ms

Counts
272 → 272
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
050275760

prune610.0ms

Filtered
192 candidates to 272 candidates (-41.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2720272
Fresh022
Picked011
Done000
Total2723275

Merged error: 0b

Counts
275 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.f64 (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))) (sqrt.f64 3)))
1.0b
(/.f64 1 (sqrt.f64 3))
3.1b
(*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
5.6b
(/.f64 (/.f64 x (*.f64 y 27)) z)

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
109×times-frac_binary64_12032 add-sqr-sqrt_binary64_12022
69×*-un-lft-identity_binary64_12037
63×add-cube-cbrt_binary64_12008
59×add-exp-log_binary64_12001
47×add-cbrt-cube_binary64_12009
44×sqrt-prod_binary64_12016
28×associate-*r*_binary64_12096
23×associate-*l*_binary64_12097
20×div-exp_binary64_11986
19×prod-exp_binary64_11984
15×unswap-sqr_binary64_12065 cbrt-undiv_binary64_12007 cbrt-unprod_binary64_12006
13×pow1_binary64_11979
10×associate-/l*_binary64_12101
9×associate-/r*_binary64_12100
8×div-inv_binary64_12038
4×pow-prod-down_binary64_11960 add-log-exp_binary64_12002
3×rec-exp_binary64_11985 1-exp_binary64_11997 pow-flip_binary64_11963
2×associate-*l/_binary64_12099 clear-num_binary64_12040 *-commutative_binary64_12105 associate-*r/_binary64_12098 frac-2neg_binary64_12030
1×pow1/2_binary64_11969 inv-pow_binary64_11955 frac-times_binary64_12029 sqrt-pow1_binary64_12018 associate-/l/_binary64_12103
Counts
4 → 204
Calls
4 calls:
27.0ms
(*.f64 (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))) (sqrt.f64 3)))
5.0ms
(/.f64 1 (sqrt.f64 3))
16.0ms
(*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
9.0ms
(/.f64 (/.f64 x (*.f64 y 27)) z)

series2.2s

Counts
4 → 10
Calls
4 calls:
509.0ms
(*.f64 (/.f64 1 (sqrt.f64 3)) (/.f64 (acos.f64 (*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))) (sqrt.f64 3)))
0.0ms
(/.f64 1 (sqrt.f64 3))
204.0ms
(*.f64 (*.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
1.4s
(/.f64 (/.f64 x (*.f64 y 27)) z)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0843573
1843573
036122718
136122718
0843573
1843573
036122718
136122718
013
113
0794596
1794596
050184479
0794596
1794596
050184479
013
113
0914731
1914731
047414518
147414518
0914731
1914731
047414518
147414518
013
113

simplify163.0ms

Counts
214 → 214
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
049764548
149764548

prune202.0ms

Filtered
126 candidates to 214 candidates (-69.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2131214
Fresh101
Picked011
Done011
Total2143217

Merged error: 0b

Counts
217 → 3

regimes86.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03253
13253

end0.0ms

sample1.7s

Algorithm
intervals
Results
668.0ms10218×body80nan
559.0ms8000×body80valid

Profiling

Loading profile data...