Details

Time bar (total: 10.9s)

sample61.0ms

Algorithm
intervals
Results
27.0ms524×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11913
25013
316013
444313
5144213
done500013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.1b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* z z) t)
0.0b
(- (* x x) (* (* y 4.0) (- (* z z) t)))
6.6b
(* (* y 4.0) (- (* z z) t))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-exp-log add-cbrt-cube
7×add-log-exp
6×add-sqr-sqrt sub-neg
4×distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate--r+
3×flip3-- pow-prod-down prod-exp flip-- cbrt-unprod
2×diff-log associate-*r/ difference-of-squares
1×associate-*l* *-commutative
Counts
3 → 54
Calls
3 calls:
17.0ms
(- (* z z) t)
18.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
43.0ms
(* (* y 4.0) (- (* z z) t))

series245.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(- (* z z) t)
139.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
80.0ms
(* (* y 4.0) (- (* z z) t))

simplify1.2s

Counts
63 → 63
Iterations

Useful iterations: 2 (291.0ms)

IterNodesCost
0103843
1327802
21901696
done5001696

prune255.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.9b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (* z z) (* y 4.0)) (* (- t) (* y 4.0)))
0.0b
(- (* x x) (+ (* (* z z) (* y 4.0)) (* (- t) (* y 4.0))))
10.6b
(* (* z z) (* y 4.0))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
15×pow1 add-exp-log add-cbrt-cube
10×add-log-exp
8×pow-prod-down prod-exp cbrt-unprod
4×distribute-lft-neg-out add-sqr-sqrt
3×add-cube-cbrt *-un-lft-identity
2×diff-log unsub-neg sum-log associate--r-
1×+-commutative sub-neg distribute-rgt-out flip3-- flip3-+ associate-*r* associate-*l* *-commutative flip-- flip-+ associate--r+ difference-of-squares
Counts
3 → 53
Calls
3 calls:
56.0ms
(+ (* (* z z) (* y 4.0)) (* (- t) (* y 4.0)))
125.0ms
(- (* x x) (+ (* (* z z) (* y 4.0)) (* (- t) (* y 4.0))))
54.0ms
(* (* z z) (* y 4.0))

series202.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(+ (* (* z z) (* y 4.0)) (* (- t) (* y 4.0)))
95.0ms
(- (* x x) (+ (* (* z z) (* y 4.0)) (* (- t) (* y 4.0))))
42.0ms
(* (* z z) (* y 4.0))

simplify1.2s

Counts
62 → 62
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01021073
1331856
21908705
done5000702

prune137.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* z (* z (* y 4.0))) (* (- t) (* y 4.0)))
0.0b
(- (* x x) (+ (* z (* z (* y 4.0))) (* (- t) (* y 4.0))))
0.2b
(* z (* z (* y 4.0)))

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1 add-exp-log add-cbrt-cube
10×add-log-exp
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt
4×distribute-lft-neg-out add-cube-cbrt *-un-lft-identity
3×associate-*l*
2×diff-log unsub-neg sum-log associate--r-
1×+-commutative sub-neg flip3-- flip3-+ associate-*r* *-commutative flip-- flip-+ associate--r+ difference-of-squares
Counts
3 → 51
Calls
3 calls:
45.0ms
(+ (* z (* z (* y 4.0))) (* (- t) (* y 4.0)))
107.0ms
(- (* x x) (+ (* z (* z (* y 4.0))) (* (- t) (* y 4.0))))
61.0ms
(* z (* z (* y 4.0)))

series193.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(+ (* z (* z (* y 4.0))) (* (- t) (* y 4.0)))
110.0ms
(- (* x x) (+ (* z (* z (* y 4.0))) (* (- t) (* y 4.0))))
32.0ms
(* z (* z (* y 4.0)))

simplify1.1s

Counts
60 → 60
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01041043
1324965
21682711
done5000692

prune203.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (* z (* z (* y 4.0)))) (cbrt (* z (* z (* y 4.0)))))
20.6b
(cbrt (* z (* z (* y 4.0))))
20.6b
(cbrt (* z (* z (* y 4.0))))
20.6b
(cbrt (* z (* z (* y 4.0))))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log
4×swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
84.0ms
(* (cbrt (* z (* z (* y 4.0)))) (cbrt (* z (* z (* y 4.0)))))
38.0ms
(cbrt (* z (* z (* y 4.0))))
58.0ms
(cbrt (* z (* z (* y 4.0))))
42.0ms
(cbrt (* z (* z (* y 4.0))))

series572.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(* (cbrt (* z (* z (* y 4.0)))) (cbrt (* z (* z (* y 4.0)))))
145.0ms
(cbrt (* z (* z (* y 4.0))))
117.0ms
(cbrt (* z (* z (* y 4.0))))
122.0ms
(cbrt (* z (* z (* y 4.0))))

simplify575.0ms

Counts
70 → 70
Iterations

Useful iterations: done (573.0ms)

IterNodesCost
0951062
1240963
2778840
done5000747

prune315.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes374.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01318
12018
22418
33118
done3118

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.3s15934×body80valid