Details

Time bar (total: 10.4s)

sample125.0ms

Algorithm
intervals
Results
46.0ms565×body80valid
28.0ms529×body80nan

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5001
61395
5272
4103
362
233
117
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt add-log-exp
15×*-un-lft-identity
12×log-prod
11×add-cube-cbrt
7×pow1
6×distribute-rgt-in associate-+r+ distribute-lft-in add-cbrt-cube add-exp-log
5×exp-prod
4×diff-log associate-*r*
3×sum-log associate-*l* exp-sum 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 → 77
Calls
4 calls:
25.0ms
(- (+ x (* y (log y))) z)
77.0ms
(exp (- (+ x (* y (log y))) z))
11.0ms
(+ x (* y (log y)))
9.0ms
(* y (log y))

series405.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- (+ x (* y (log y))) z)
60.0ms
(exp (- (+ x (* y (log y))) z))
62.0ms
(+ x (* y (log y)))
235.0ms
(* y (log y))

simplify910.0ms

Counts
89 → 89
Iterations
IterNodes
done5001
2918
1301
0131

prune531.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 3 expressions with local error:

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

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
12×log-prod
11×add-cube-cbrt
8×pow1
7×add-cbrt-cube associate-*r* associate-*l*
6×distribute-rgt-in associate-+r+ distribute-lft-in
5×add-exp-log add-log-exp
4×exp-prod
2×exp-neg pow-prod-down prod-exp associate-*r/ *-commutative pow-prod-up cbrt-unprod unswap-sqr
1×neg-sub0 +-commutative sum-log distribute-rgt-neg-in flip3-+ exp-diff exp-sum log-pow un-div-inv flip-+
Counts
3 → 66
Calls
3 calls:
11.0ms
(+ x (* y (log y)))
108.0ms
(* (exp (+ x (* y (log y)))) (exp (- z)))
14.0ms
(* y (log y))

series461.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(+ x (* y (log y)))
91.0ms
(* (exp (+ x (* y (log y)))) (exp (- z)))
286.0ms
(* y (log y))

simplify1.2s

Counts
75 → 75
Iterations
IterNodes
done5000
21250
1297
0122

prune396.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

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

sample3.9s

Algorithm
intervals
Results
1.4s19310×body80nan
1.3s19324×body80valid