Details

Time bar (total: 24.8s)

sample126.0ms

Algorithm
intervals
Results
75.0ms608×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
4953
3290
296
143
023

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

localize58.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c z) (* t i))
3.4b
(* j (- (* c a) (* y i)))
5.9b
(* x (- (* y z) (* t a)))
6.4b
(* b (- (* c z) (* t i)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r* associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 84
Calls
4 calls:
6.0ms
(- (* c z) (* t i))
28.0ms
(* j (- (* c a) (* y i)))
22.0ms
(* x (- (* y z) (* t a)))
20.0ms
(* b (- (* c z) (* t i)))

series352.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* c z) (* t i))
100.0ms
(* j (- (* c a) (* y i)))
102.0ms
(* x (- (* y z) (* t a)))
100.0ms
(* b (- (* c z) (* t i)))

simplify1.4s

Counts
96 → 96
Iterations
IterNodes
done5001
21796
1457
0166

prune1.3s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 8.9b

localize76.0ms

Local error

Found 4 expressions with local error:

4.9b
(cbrt (- (* c a) (* y i)))
4.9b
(cbrt (- (* c a) (* y i)))
5.9b
(* x (- (* y z) (* t a)))
6.4b
(* b (- (* c z) (* t i)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
8×pow1 add-cbrt-cube add-exp-log
6×cbrt-prod associate-*r* associate-*l*
4×distribute-rgt-in cbrt-div sub-neg distribute-lft-in flip3-- associate-*r/ flip-- add-log-exp
2×pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 74
Calls
4 calls:
4.0ms
(cbrt (- (* c a) (* y i)))
4.0ms
(cbrt (- (* c a) (* y i)))
37.0ms
(* x (- (* y z) (* t a)))
20.0ms
(* b (- (* c z) (* t i)))

series549.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt (- (* c a) (* y i)))
180.0ms
(cbrt (- (* c a) (* y i)))
108.0ms
(* x (- (* y z) (* t a)))
76.0ms
(* b (- (* c z) (* t i)))

simplify1.3s

Counts
86 → 86
Iterations
IterNodes
done5000
21568
1461
0171

prune1.2s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 8.9b

localize147.0ms

Local error

Found 4 expressions with local error:

4.9b
(cbrt (- (* c a) (* y i)))
4.9b
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
5.9b
(* x (- (* y z) (* t a)))
6.4b
(* b (- (* c z) (* t i)))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
82×cbrt-div
30×flip3-- flip--
28×frac-times
14×associate-*l/
13×add-sqr-sqrt
12×associate-*r/
9×*-un-lft-identity add-cube-cbrt
8×pow1 add-cbrt-cube add-exp-log
6×associate-*r* associate-*l*
4×cbrt-prod distribute-rgt-in sub-neg distribute-lft-in add-log-exp
2×pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×pow3 rem-cbrt-cube
Counts
4 → 97
Calls
4 calls:
9.0ms
(cbrt (- (* c a) (* y i)))
71.0ms
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
31.0ms
(* x (- (* y z) (* t a)))
24.0ms
(* b (- (* c z) (* t i)))

series563.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(cbrt (- (* c a) (* y i)))
183.0ms
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
133.0ms
(* x (- (* y z) (* t a)))
86.0ms
(* b (- (* c z) (* t i)))

simplify1.5s

Counts
109 → 109
Iterations
IterNodes
done5000
21710
1599
0265

prune1.7s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 8.9b

localize164.0ms

Local error

Found 4 expressions with local error:

4.9b
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
4.9b
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
5.9b
(* x (- (* y z) (* t a)))
6.4b
(* b (- (* c z) (* t i)))

rewrite251.0ms

Algorithm
rewrite-expression-head
Rules
160×cbrt-div
56×frac-times flip3-- flip--
28×associate-*l/
20×associate-*r/
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r* associate-*l*
4×distribute-rgt-in sub-neg distribute-lft-in add-log-exp
2×cbrt-prod pow1/3 pow3 pow-prod-down prod-exp *-commutative rem-cbrt-cube cbrt-unprod unswap-sqr
Counts
4 → 120
Calls
4 calls:
90.0ms
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
89.0ms
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
24.0ms
(* x (- (* y z) (* t a)))
33.0ms
(* b (- (* c z) (* t i)))

series502.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
146.0ms
(cbrt (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i)))))
80.0ms
(* x (- (* y z) (* t a)))
111.0ms
(* b (- (* c z) (* t i)))

simplify1.6s

Counts
132 → 132
Iterations
IterNodes
done5001
21663
1591
0258

prune1.4s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 8.9b

regimes3.6s

Accuracy

3.7% (4.0b remaining)

Error of 12.4b against oracle of 8.4b and baseline of 12.6b

bsearch307.0ms

Steps
ItersRangePoint
9
1.0863212827023578e-157
2.2757770563604467e-151
7.975897860710547e-153
9
-3.8891895502705593e-221
-3.435478316980441e-230
-7.981556545803475e-228

simplify14.0ms

Iterations
IterNodes
done59
259
153
036

end0.0ms

sample4.6s

Algorithm
intervals
Results
3.3s18791×body80valid