Details

Time bar (total: 22.7s)

sample126.0ms

Algorithm
intervals
Results
70.0ms620×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 4 (242.0ms)

IterNodesCost
02329
14729
211028
333328
4123027
done500027

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.3b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(- (* c z) (* i a))
4.2b
(* j (- (* c t) (* i y)))
4.3b
(* b (- (* c z) (* i a)))
5.5b
(* x (- (* y z) (* t a)))

rewrite134.0ms

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

series341.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (* c z) (* i a))
105.0ms
(* j (- (* c t) (* i y)))
77.0ms
(* b (- (* c z) (* i a)))
86.0ms
(* x (- (* y z) (* t a)))

simplify1.5s

Counts
112 → 112
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02001357
15331338
223851211
done50021195

prune749.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 7.2b

localize41.0ms

Local error

Found 4 expressions with local error:

5.4b
(cbrt (- (* c z) (* i a)))
5.4b
(cbrt (- (* c z) (* i a)))
5.4b
(cbrt (- (* c z) (* i a)))
5.5b
(* x (- (* y z) (* t a)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log cbrt-div add-cbrt-cube
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg associate-*r/ prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 73
Calls
4 calls:
12.0ms
(cbrt (- (* c z) (* i a)))
10.0ms
(cbrt (- (* c z) (* i a)))
10.0ms
(cbrt (- (* c z) (* i a)))
45.0ms
(* x (- (* y z) (* t a)))

series660.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt (- (* c z) (* i a)))
191.0ms
(cbrt (- (* c z) (* i a)))
207.0ms
(cbrt (- (* c z) (* i a)))
83.0ms
(* x (- (* y z) (* t a)))

simplify896.0ms

Counts
85 → 85
Iterations

Useful iterations: done (893.0ms)

IterNodesCost
01351225
13571183
213091095
done50011065

prune768.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 7.2b

localize50.0ms

Local error

Found 4 expressions with local error:

5.4b
(cbrt (- (* c z) (* i a)))
5.4b
(cbrt (- (* c z) (* i a)))
5.4b
(cbrt (- (* c z) (* i a)))
5.5b
(* x (- (* y z) (* t a)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log cbrt-div add-cbrt-cube
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg associate-*r/ prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 73
Calls
4 calls:
6.0ms
(cbrt (- (* c z) (* i a)))
9.0ms
(cbrt (- (* c z) (* i a)))
11.0ms
(cbrt (- (* c z) (* i a)))
28.0ms
(* x (- (* y z) (* t a)))

series739.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(cbrt (- (* c z) (* i a)))
231.0ms
(cbrt (- (* c z) (* i a)))
203.0ms
(cbrt (- (* c z) (* i a)))
94.0ms
(* x (- (* y z) (* t a)))

simplify899.0ms

Counts
85 → 85
Iterations

Useful iterations: done (896.0ms)

IterNodesCost
01351225
13571183
213091095
done50011065

prune935.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 7.2b

localize53.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (cbrt j) (- (* c t) (* i y)))
2.6b
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
4.3b
(* b (- (* c z) (* i a)))
5.5b
(* x (- (* y z) (* t a)))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-exp-log
21×distribute-rgt-in distribute-lft-in
19×add-sqr-sqrt
15×add-cbrt-cube
13×associate-*l*
11×add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod
10×sub-neg associate-*r/ associate-*r* prod-diff
4×cbrt-prod expm1-log1p-u flip3-- *-commutative flip-- log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 126
Calls
4 calls:
40.0ms
(* (cbrt j) (- (* c t) (* i y)))
84.0ms
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
44.0ms
(* b (- (* c z) (* i a)))
40.0ms
(* x (- (* y z) (* t a)))

series753.0ms

Counts
4 → 12
Calls
4 calls:
376.0ms
(* (cbrt j) (- (* c t) (* i y)))
141.0ms
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
118.0ms
(* b (- (* c z) (* i a)))
116.0ms
(* x (- (* y z) (* t a)))

simplify2.6s

Counts
138 → 138
Iterations

Useful iterations: 2 (678.0ms)

IterNodesCost
02502179
17372149
241001720
done50011720

prune851.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 1.8b

regimes1.4s

Accuracy

22.4% (7.4b remaining)

Error of 10.2b against oracle of 2.8b and baseline of 12.4b

bsearch650.0ms

Steps
ItersRangePoint
7
3.9054077061397985e-118
3.861184740833095e-116
3.666327056401254e-116
9
-1.0693742062394656e-167
-7.69835147688305e-173
-3.8385100063148393e-168
9
-6.584864802969935e-89
-6.734470275739537e-94
-6.482736156751154e-89
5
-4.114139675694558e+32
-1.0349110027670586e+32
-1.4137117881847262e+32

simplify17.0ms

Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
057185
183155
done83155

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.2s19141×body80valid