Details

Time bar (total: 19.1s)

sample62.0ms

Algorithm
intervals
Results
38.0ms336×body80valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5000
264763
254510
244265
234014
223757
213520
203263
193002
182745
172490
162233
151990
141662
131313
12944
11612
10421
9272
8188
7154
6133
5108
473
341
224
115
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- z t))
4.4b
(/ (* y (- z t)) a)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×add-cbrt-cube add-exp-log
8×*-un-lft-identity
6×add-cube-cbrt
5×associate-*r*
4×pow1 associate-*r/
3×associate-/r* times-frac associate-*l*
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in flip3-- div-exp prod-exp cbrt-unprod insert-posit16 flip-- add-log-exp associate-/l/
1×clear-num frac-2neg pow-prod-down *-commutative div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 51
Calls
2 calls:
35.0ms
(* y (- z t))
27.0ms
(/ (* y (- z t)) a)

series130.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(* y (- z t))
63.0ms
(/ (* y (- z t)) a)

simplify1.9s

Counts
57 → 57
Iterations
IterNodes
done5000
32752
2681
1246
096

prune286.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

7.0b
(* (/ y a) (- z t))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*l*
11×*-un-lft-identity
10×times-frac
9×add-cube-cbrt
6×add-cbrt-cube add-exp-log
5×associate-*r*
3×pow1
2×distribute-rgt-in frac-times sub-neg distribute-lft-in flip3-- prod-exp associate-*r/ cbrt-unprod flip-- unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative insert-posit16 div-inv distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 43
Calls
1 calls:
23.0ms
(* (/ y a) (- z t))

series72.0ms

Counts
1 → 3
Calls
1 calls:
72.0ms
(* (/ y a) (- z t))

simplify2.5s

Counts
46 → 46
Iterations
IterNodes
done5000
33415
2866
1262
0100

prune227.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
136×cbrt-div
98×frac-times
68×flip3-- flip--
50×associate-*r/
37×associate-*l/
34×add-exp-log
24×add-sqr-sqrt
21×*-un-lft-identity add-cbrt-cube
18×pow1
17×prod-exp cbrt-unprod
15×cbrt-prod add-cube-cbrt
14×associate-*l*
10×times-frac
9×associate-*r* pow-prod-down
4×cbrt-undiv div-exp insert-posit16 add-log-exp
3×distribute-lft-out-- difference-of-squares
2×pow1/3 *-commutative unswap-sqr
1×div-inv
Counts
4 → 168
Calls
4 calls:
3.0ms
(cbrt (- z t))
3.0ms
(cbrt (- z t))
200.0ms
(* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
69.0ms
(* (/ y a) (* (cbrt (- z t)) (cbrt (- z t))))

series643.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(cbrt (- z t))
224.0ms
(cbrt (- z t))
98.0ms
(* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
127.0ms
(* (/ y a) (* (cbrt (- z t)) (cbrt (- z t))))

simplify2.3s

Counts
180 → 180
Iterations
IterNodes
done5000
22142
1797
0299

prune1.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

7.0b
(* (/ y a) (- z t))
7.2b
(cbrt (* (/ y a) (- z t)))
7.2b
(cbrt (* (/ y a) (- z t)))
7.2b
(cbrt (* (/ y a) (- z t)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×cbrt-div
14×*-un-lft-identity
13×associate-*l*
12×add-cube-cbrt
10×times-frac
9×add-cbrt-cube add-exp-log
8×frac-times flip3-- associate-*r/ flip--
6×pow1
5×associate-*r*
4×associate-*l/ insert-posit16 add-log-exp
3×cbrt-prod pow1/3
2×distribute-rgt-in sub-neg distribute-lft-in prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 88
Calls
4 calls:
38.0ms
(* (/ y a) (- z t))
14.0ms
(cbrt (* (/ y a) (- z t)))
15.0ms
(cbrt (* (/ y a) (- z t)))
16.0ms
(cbrt (* (/ y a) (- z t)))

series644.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(* (/ y a) (- z t))
186.0ms
(cbrt (* (/ y a) (- z t)))
177.0ms
(cbrt (* (/ y a) (- z t)))
177.0ms
(cbrt (* (/ y a) (- z t)))

simplify2.3s

Counts
100 → 100
Iterations
IterNodes
done5000
33953
21077
1345
0145

prune725.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes754.0ms

Accuracy

85% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 2.5b

bsearch2.0ms

simplify6.0ms

Iterations
IterNodes
done24
124
018

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.0s10651×body80valid