Details

Time bar (total: 11.5s)

sample22.0ms

Algorithm
intervals
Results
8.0ms316×body80valid

simplify32.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
077
1117
2247
3457
4637
5717
done717

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.6b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×sub-neg associate-*r* associate-*l*
2×distribute-rgt-in flip3-- distribute-lft-in associate-*r/ flip--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 36
Calls
2 calls:
3.0ms
(- 1.0 (* y z))
5.0ms
(* x (- 1.0 (* y z)))

series14.0ms

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

simplify2.3s

Counts
42 → 42
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
060399
1138391
2374349
31139349
43894349
done5000349

prune77.0ms

Filtered
28 candidates to 42 candidates (-50.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New33942
Fresh000
Picked101
Done000
Total34943

Merged error: 4.4b

Counts
43 → 9

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 x) (* x (neg (* y z))))
6.2b
(* x (neg (* y z)))

rewrite11.0ms

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

series17.0ms

Counts
2 → 6
Calls
2 calls:
10.0ms
(+ (* 1.0 x) (* x (neg (* y z))))
7.0ms
(* x (neg (* y z)))

simplify3.6s

Counts
41 → 41
Iterations

Useful iterations: 3 (1.6s)

IterNodesCost
066413
1176373
2695315
34380310
done5000310

prune62.0ms

Filtered
27 candidates to 41 candidates (-51.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New40141
Fresh268
Picked011
Done000
Total42850

Merged error: 0.0b

Counts
50 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 x) (* (neg (* x y)) z))
5.8b
(* (neg (* x y)) z)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt associate-*l*
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×distribute-lft-neg-out associate-*r*
1×+-commutative distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in flip3-+ unsub-neg pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
2 → 35
Calls
2 calls:
4.0ms
(+ (* 1.0 x) (* (neg (* x y)) z))
5.0ms
(* (neg (* x y)) z)

series18.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(+ (* 1.0 x) (* (neg (* x y)) z))
7.0ms
(* (neg (* x y)) z)

simplify1.0s

Counts
41 → 41
Iterations

Useful iterations: done (1.0s)

IterNodesCost
065415
1179375
2839322
done5000320

prune60.0ms

Filtered
32 candidates to 41 candidates (-28.1%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New39241
Fresh336
Picked011
Done011
Total42749

Merged error: 0b

Counts
49 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 x) (neg (* y (* x z))))
7.7b
(* y (* x z))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
6×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
2×sum-log
1×+-commutative neg-sub0 associate-+r- flip3-+ associate-*r* unsub-neg neg-log *-commutative flip-+
Counts
2 → 33
Calls
2 calls:
5.0ms
(+ (* 1.0 x) (neg (* y (* x z))))
5.0ms
(* y (* x z))

series17.0ms

Counts
2 → 6
Calls
2 calls:
10.0ms
(+ (* 1.0 x) (neg (* y (* x z))))
6.0ms
(* y (* x z))

simplify3.0s

Counts
39 → 39
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
068388
1195359
2771283
34178275
done5000275

prune42.0ms

Filtered
28 candidates to 39 candidates (-39.3%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New39039
Fresh044
Picked011
Done022
Total39746

Merged error: 0b

Counts
46 → 7

regimes491.0ms

Accuracy

96.6% (0.2b remaining)

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

bsearch1.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02342
14742
26142
36342
done6342

end0.0ms

sample621.0ms

Algorithm
intervals
Results
250.0ms9724×body80valid

Profiling

Loading profile data...