Details

Time bar (total: 12.8s)

sample29.0ms

Algorithm
intervals
Results
11.0ms361×body80valid

simplify98.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
089
1157
2347
3717
41007
51067
done1067

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.3b

localize12.0ms

Local error

Found 2 expressions with local error:

0.5b
(- (* x y) (* z y))
6.0b
(* (- (* x y) (* z y)) t)

rewrite63.0ms

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

series124.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(- (* x y) (* z y))
70.0ms
(* (- (* x y) (* z y)) t)

simplify522.0ms

Counts
40 → 40
Iterations

Useful iterations: done (520.0ms)

IterNodesCost
060467
1162365
2669329
done5001325

prune146.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
2.2b
(* (* (* (cbrt t) (cbrt t)) (* y (- x z))) (cbrt t))
4.1b
(* (* (cbrt t) (cbrt t)) (* y (- x z)))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×distribute-rgt-in add-sqr-sqrt add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r/
7×associate-*r*
4×sub-neg add-log-exp
2×flip3-- pow1/3 associate-*l* associate-*l/ *-commutative flip--
Counts
4 → 86
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
236.0ms
(* (* (* (cbrt t) (cbrt t)) (* y (- x z))) (cbrt t))
76.0ms
(* (* (cbrt t) (cbrt t)) (* y (- x z)))

series992.0ms

Counts
4 → 12
Calls
4 calls:
274.0ms
(cbrt t)
290.0ms
(cbrt t)
94.0ms
(* (* (* (cbrt t) (cbrt t)) (* y (- x z))) (cbrt t))
332.0ms
(* (* (cbrt t) (cbrt t)) (* y (- x z)))

simplify1.7s

Counts
98 → 98
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01311334
14041282
22250931
done5000797

prune255.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

6.0b
(* t (* y (- x z)))
6.4b
(cbrt (* t (* y (- x z))))
6.4b
(cbrt (* t (* y (- x z))))
6.4b
(cbrt (* t (* y (- x z))))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
16×associate-*r/
9×pow1 add-exp-log add-cbrt-cube
8×distribute-rgt-in distribute-lft-in
6×cbrt-div
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×sub-neg flip3-- flip-- add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 61
Calls
4 calls:
40.0ms
(* t (* y (- x z)))
29.0ms
(cbrt (* t (* y (- x z))))
40.0ms
(cbrt (* t (* y (- x z))))
29.0ms
(cbrt (* t (* y (- x z))))

series633.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* t (* y (- x z)))
172.0ms
(cbrt (* t (* y (- x z))))
186.0ms
(cbrt (* t (* y (- x z))))
194.0ms
(cbrt (* t (* y (- x z))))

simplify2.7s

Counts
73 → 73
Iterations

Useful iterations: done (2.7s)

IterNodesCost
0112885
1268863
2814763
33863733
done5000697

prune275.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

6.0b
(* (* (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z)))) t)
8.3b
(cbrt (* y (- x z)))
8.3b
(cbrt (* y (- x z)))
8.3b
(cbrt (* y (- x z)))

rewrite261.0ms

Algorithm
rewrite-expression-head
Rules
68×associate-*r/
60×cbrt-div
40×associate-*l/
30×flip3-- flip--
28×frac-times
13×pow1 add-exp-log
9×add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 80
Calls
4 calls:
227.0ms
(* (* (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z)))) t)
8.0ms
(cbrt (* y (- x z)))
7.0ms
(cbrt (* y (- x z)))
8.0ms
(cbrt (* y (- x z)))

series883.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(* (* (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z)))) t)
236.0ms
(cbrt (* y (- x z)))
235.0ms
(cbrt (* y (- x z)))
274.0ms
(cbrt (* y (- x z)))

simplify1.1s

Counts
92 → 92
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01631864
14071828
214611413
done50001311

prune433.0ms

Pruning

10 alts after pruning (6 fresh and 4 done)

Merged error: 0.0b

regimes435.0ms

Accuracy

80.1% (1.5b remaining)

Error of 1.5b against oracle of 0.1b and baseline of 7.5b

bsearch2.0ms

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01743
12537
done2537

end0.0ms

sample1.7s

Algorithm
intervals
Results
962.0ms10640×body80valid