Details

Time bar (total: 13.2s)

sample49.0ms

Algorithm
intervals
Results
20.0ms348×body80valid

simplify675.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
61395
5376
4161
369
232
116
09

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (/ y a) (- t z)))
7.3b
(* (/ y a) (- t z))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*l*
12×*-un-lft-identity
10×times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
5×associate-*r*
4×distribute-rgt-in pow1 associate-+r+ sub-neg distribute-lft-in add-log-exp
2×frac-times flip3-- prod-exp associate-*r/ cbrt-unprod flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log flip3-+ div-exp pow-prod-down associate-*l/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 57
Calls
2 calls:
6.0ms
(+ x (* (/ y a) (- t z)))
36.0ms
(* (/ y a) (- t z))

series135.0ms

Counts
2 → 6
Calls
2 calls:
71.0ms
(+ x (* (/ y a) (- t z)))
64.0ms
(* (/ y a) (- t z))

simplify671.0ms

Counts
63 → 63
Iterations
IterNodes
done5001
21454
1329
0123

prune341.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
0.9b
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (- t z)))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
39×add-cbrt-cube
37×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
9×cbrt-prod frac-times pow1 associate-*r/
8×distribute-rgt-in add-sqr-sqrt *-un-lft-identity distribute-lft-in add-cube-cbrt
5×associate-*l*
4×sub-neg flip3-- flip-- add-log-exp
3×pow1/3 pow-prod-down associate-*l/
1×times-frac associate-*r* *-commutative div-inv
Counts
4 → 98
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
118.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (- t z)))

series834.0ms

Counts
4 → 12
Calls
4 calls:
259.0ms
(cbrt y)
248.0ms
(cbrt y)
240.0ms
(cbrt y)
87.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (- t z)))

simplify2.0s

Counts
110 → 110
Iterations
IterNodes
done5001
23603
1620
0168

prune529.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* (/ 1 1) (/ y (/ a (- t z)))))
0.0b
(/ a (- t z))
5.3b
(/ y (/ a (- t z)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
103×add-sqr-sqrt *-un-lft-identity
71×add-cube-cbrt
26×associate-/r*
16×distribute-lft-out-- difference-of-squares
11×associate-/r/
10×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×flip3-- flip-- add-log-exp
4×cbrt-undiv div-exp
3×pow1
2×clear-num frac-2neg
1×+-commutative sum-log flip3-+ flip-+
Counts
3 → 150
Calls
3 calls:
5.0ms
(+ x (* (/ 1 1) (/ y (/ a (- t z)))))
9.0ms
(/ a (- t z))
17.0ms
(/ y (/ a (- t z)))

series257.0ms

Counts
3 → 9
Calls
3 calls:
93.0ms
(+ x (* (/ 1 1) (/ y (/ a (- t z)))))
60.0ms
(/ a (- t z))
104.0ms
(/ y (/ a (- t z)))

simplify1.1s

Counts
159 → 159
Iterations
IterNodes
done5000
23169
1644
0248

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t (/ a y)) (/ z (/ a y)))
0.0b
(+ x (* (/ 1 1) (- (/ t (/ a y)) (/ z (/ a y)))))
5.4b
(/ z (/ a y))
5.6b
(/ t (/ a y))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
212×times-frac
138×add-sqr-sqrt
130×*-un-lft-identity
102×add-cube-cbrt
26×associate-/r*
14×add-cbrt-cube add-exp-log div-inv distribute-lft-out--
9×difference-of-squares
8×add-log-exp
6×cbrt-undiv div-exp associate-/l*
4×pow1 associate-+r+ associate-/r/
3×sub-neg
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in distribute-rgt-out--
1×+-commutative sum-log flip3-+ flip3-- diff-log frac-sub flip-+ flip-- sub-div
Counts
4 → 194
Calls
4 calls:
130.0ms
(- (/ t (/ a y)) (/ z (/ a y)))
41.0ms
(+ x (* (/ 1 1) (- (/ t (/ a y)) (/ z (/ a y)))))
13.0ms
(/ z (/ a y))
7.0ms
(/ t (/ a y))

series233.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(- (/ t (/ a y)) (/ z (/ a y)))
80.0ms
(+ x (* (/ 1 1) (- (/ t (/ a y)) (/ z (/ a y)))))
36.0ms
(/ z (/ a y))
39.0ms
(/ t (/ a y))

simplify1.5s

Counts
206 → 206
Iterations
IterNodes
done5001
23928
1875
0328

prune1.4s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes502.0ms

Accuracy

69.2% (0.8b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 2.6b

bsearch112.0ms

Steps
ItersRangePoint
9
488997712.5877659
1.833581519272531e+16
5122316469.390034
6
-1.0169193133396269e+61
-2.5276751166480626e+60
-3.5061690732504346e+60

simplify5.0ms

Iterations
IterNodes
done29
129
021

end0.0ms

sample1.2s

Algorithm
intervals
Results
610.0ms10689×body80valid