Details

Time bar (total: 4.2s)

sample42.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify21.0ms

Counts
1 → 1
Iterations
IterNodes
done31
331
224
114
09

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.9b

localize22.0ms

Local error

Found 1 expressions with local error:

37.0b
(sqrt (fma z z (fma y y (* x x))))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 *-un-lft-identity add-cube-cbrt
expm1-log1p-u rem-sqrt-square sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log log1p-expm1-u add-log-exp
Counts
1 → 15
Calls
1 calls:
1.0ms
(sqrt (fma z z (fma y y (* x x))))

series174.0ms

Counts
1 → 3
Calls
1 calls:
174.0ms
(sqrt (fma z z (fma y y (* x x))))

simplify2.4s

Counts
18 → 18
Iterations
IterNodes
done5000
81170
7521
6342
5243
4144
385
252
138
026

prune132.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 20.1b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune12.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 20.1b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune8.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 20.1b

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 20.1b

regimes345.0ms

Accuracy

62.1% (7.4b remaining)

Error of 25.6b against oracle of 18.2b and baseline of 37.6b

bsearch194.0ms

Steps
ItersRangePoint
10
1.172293995898329e+98
5.820066665193278e+107
5.7738133421451985e+107
10
-3.1721927230997028e-232
-3.3875516090533948e-245
-7.844913916251199e-234
5
-2.607436301605695e-208
-8.292313154883258e-209
-8.416686067673293e-209
9
-1.6717636918532885e+136
-8.091538786079605e+127
-5.607777933618982e+130

simplify3.0ms

Iterations
IterNodes
done20
020

end0.0ms

sample807.0ms

Algorithm
intervals
Results
567.0ms8000×body80valid