Details

Time bar (total: 14.2s)

sample22.0ms

Algorithm
intervals
Results
9.0ms335×body80valid

simplify5.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07124
111124
226124
362124
4161124
5354124
6483124
7629124
8795124
91352124
102874124
done5000124

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x y) (- 1.0 z))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
18×prod-diff
15×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
5×associate-*r*
4×frac-times associate-*l*
3×pow1 flip3-+ flip3-- add-cbrt-cube add-exp-log flip-+ flip--
2×sub-neg associate-*l/ associate-*r/
1×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u distribute-lft-out distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
Counts
1 → 53
Calls
1 calls:
35.0ms
(* (+ x y) (- 1.0 z))

series51.0ms

Counts
1 → 3
Calls
1 calls:
51.0ms
(* (+ x y) (- 1.0 z))

simplify1.6s

Counts
56 → 56
Iterations

Useful iterations: done (1.6s)

IterNodesCost
013421581
142117890
2132414261
done500214236

prune211.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 (+ x y)) (* (- z) (+ x y)))
0.0b
(* (- z) (+ x y))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*l* associate-*r/
8×add-sqr-sqrt *-un-lft-identity
6×flip3-+ add-cube-cbrt flip-+
4×pow1 add-cbrt-cube associate-*r* frac-add add-exp-log add-log-exp
3×distribute-lft-neg-out distribute-lft-neg-in distribute-rgt-in distribute-rgt-neg-in distribute-lft-in
2×expm1-log1p-u associate-+l+ associate-+r+ log1p-expm1-u
1×+-commutative neg-mul-1 sum-log fma-def distribute-rgt-out unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
2 → 58
Calls
2 calls:
16.0ms
(+ (* 1.0 (+ x y)) (* (- z) (+ x y)))
18.0ms
(* (- z) (+ x y))

series108.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(+ (* 1.0 (+ x y)) (* (- z) (+ x y)))
50.0ms
(* (- z) (+ x y))

simplify2.3s

Counts
64 → 64
Iterations

Useful iterations: done (2.3s)

IterNodesCost
011716483
142913506
2186512791
done500112661

prune336.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- 1.0 z) y)
0.0b
(- (* (- 1.0 z) y) (* x z))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r*
2×expm1-log1p-u flip3-- associate-*l/ log1p-expm1-u flip--
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 40
Calls
2 calls:
21.0ms
(* (- 1.0 z) y)
14.0ms
(- (* (- 1.0 z) y) (* x z))

series83.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(* (- 1.0 z) y)
44.0ms
(- (* (- 1.0 z) y) (* x z))

simplify2.9s

Counts
46 → 46
Iterations

Useful iterations: 2 (200.0ms)

IterNodesCost
0819273
11998210
25958130
321898130
done50028130

prune197.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes184.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09204
115204
219204
324204
done24204

end0.0ms

sample798.0ms

Algorithm
intervals
Results
414.0ms10151×body80valid
0.0ms1×body1280valid