Details

Time bar (total: 5.1s)

sample69.0ms

Algorithm
intervals
Results
34.0ms65×body1280valid
14.0ms58×body640valid
4.0ms29×body320valid
3.0ms86×body80valid
2.0ms76×body80nan
1.0ms18×body160valid

simplify2.0ms

Counts
1 → 1
Iterations
IterNodes
done5
15
04

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.2b

localize5.0ms

Local error

Found 1 expressions with local error:

4.9b
(log (+ x 1.0))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
log-prod *-un-lft-identity
add-sqr-sqrt pow1 log-div add-exp-log add-cube-cbrt
expm1-log1p-u flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ log1p-expm1-u distribute-lft-out add-log-exp
Counts
1 → 17
Calls
1 calls:
5.0ms
(log (+ x 1.0))

series98.0ms

Counts
1 → 3
Calls
1 calls:
98.0ms
(log (+ x 1.0))

simplify1.3s

Counts
20 → 20
Iterations
IterNodes
done5000
31711
2430
1131
061

prune125.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (* (/ x 1.0) (/ x 1.0)) -1/2 (fma x 1.0 (log 1.0)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (* (/ x 1.0) (/ x 1.0)) -1/2 (fma x 1.0 (log 1.0)))

series37.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(fma (* (/ x 1.0) (/ x 1.0)) -1/2 (fma x 1.0 (log 1.0)))

simplify472.0ms

Counts
13 → 13
Iterations
IterNodes
done5000
3596
2144
147
025

prune91.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.1b

regimes52.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.5b

bsearch25.0ms

Steps
ItersRangePoint
8
3.3185797753340088e-09
5.09324609688744e-06
4.228318145661536e-06

simplify2.0ms

Iterations
IterNodes
done14
114
013

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.6s2283×body1280valid
612.0ms1670×body640valid
132.0ms830×body320valid
98.0ms2797×body80valid
62.0ms2675×body80nan
40.0ms420×body160valid