Details

Time bar (total: 8.8s)

sample99.0ms

Algorithm
intervals
Results
30.0ms663×body80valid
27.0ms655×body80nan

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5001
61559
5310
4114
371
237
117
08

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ x (* y (log y))) z)
0.0b
(+ x (* y (log y)))
0.0b
(exp (- (+ x (* y (log y))) z))
0.3b
(* y (log y))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
29×*-un-lft-identity
25×add-cube-cbrt
18×prod-diff
17×add-log-exp
12×log-prod exp-sum
7×pow1
6×distribute-rgt-in associate-+r+ distribute-lft-in add-cbrt-cube add-exp-log
5×exp-prod
4×expm1-log1p-u diff-log associate-*r* log1p-expm1-u
3×sum-log fma-def fma-neg associate-*l* rem-exp-log
2×sub-neg associate--l+ distribute-lft-out-- difference-of-squares
1×+-commutative flip3-+ flip3-- exp-diff pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-+ flip-- unswap-sqr
Counts
4 → 109
Calls
4 calls:
26.0ms
(- (+ x (* y (log y))) z)
6.0ms
(+ x (* y (log y)))
57.0ms
(exp (- (+ x (* y (log y))) z))
10.0ms
(* y (log y))

series465.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- (+ x (* y (log y))) z)
53.0ms
(+ x (* y (log y)))
39.0ms
(exp (- (+ x (* y (log y))) z))
325.0ms
(* y (log y))

simplify1.2s

Counts
121 → 121
Iterations
IterNodes
done5000
21263
1389
0173

prune609.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.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

prune0.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes358.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample4.3s

Algorithm
intervals
Results
1.8s19551×body80valid
1.2s18819×body80nan