Details

Time bar (total: 21.4s)

sample57.0ms

Algorithm
intervals
Results
26.0ms339×body80valid

simplify3.2s

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite71.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 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 → 49
Calls
2 calls:
40.0ms
(* y (- z t))
28.0ms
(/ (* y (- z t)) a)

series198.0ms

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

simplify2.4s

Counts
55 → 55
Iterations
IterNodes
done5002
32760
2675
1244
094

prune413.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 1 expressions with local error:

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

rewrite49.0ms

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

series66.0ms

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

simplify2.6s

Counts
41 → 41
Iterations
IterNodes
done5002
33653
2829
1248
096

prune296.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

4.7b
(cbrt (* (- z t) (/ y a)))
7.8b
(* (- z t) (/ y a))
7.8b
(* (- z t) (/ y a))
7.8b
(* (- z t) (/ y a))

rewrite493.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
39×associate-*r*
34×*-un-lft-identity
30×times-frac
28×add-cube-cbrt
19×add-cbrt-cube add-exp-log
15×associate-*l*
10×pow1
8×frac-times flip3-- associate-*l/ flip--
6×prod-exp cbrt-unprod unswap-sqr
5×cbrt-div
4×associate-*r/ add-log-exp
3×cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
1×cbrt-prod pow1/3
Counts
4 → 128
Calls
4 calls:
386.0ms
(cbrt (* (- z t) (/ y a)))
31.0ms
(* (- z t) (/ y a))
36.0ms
(* (- z t) (/ y a))
32.0ms
(* (- z t) (/ y a))

series496.0ms

Counts
4 → 12
Calls
4 calls:
246.0ms
(cbrt (* (- z t) (/ y a)))
76.0ms
(* (- z t) (/ y a))
93.0ms
(* (- z t) (/ y a))
81.0ms
(* (- z t) (/ y a))

simplify2.9s

Counts
140 → 140
Iterations
IterNodes
done5001
34440
21088
1386
0161

prune1.4s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

4.7b
(cbrt (* (- z t) (/ y a)))
7.8b
(* (- z t) (/ y a))
7.8b
(* (- z t) (/ y a))
11.2b
(cbrt (/ y a))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
31×*-un-lft-identity
29×times-frac
27×add-cube-cbrt
26×associate-*r*
14×cbrt-prod add-cbrt-cube add-exp-log
10×associate-*l*
8×pow1
6×frac-times cbrt-div flip3-- associate-*l/ flip--
4×prod-exp cbrt-unprod add-log-exp unswap-sqr
3×associate-*r/ div-inv
2×cbrt-undiv pow1/3 div-exp pow-prod-down *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 112
Calls
4 calls:
9.0ms
(cbrt (* (- z t) (/ y a)))
37.0ms
(* (- z t) (/ y a))
34.0ms
(* (- z t) (/ y a))
2.0ms
(cbrt (/ y a))

series535.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(cbrt (* (- z t) (/ y a)))
85.0ms
(* (- z t) (/ y a))
108.0ms
(* (- z t) (/ y a))
108.0ms
(cbrt (/ y a))

simplify3.0s

Counts
124 → 124
Iterations
IterNodes
done5003
34627
21188
1437
0202

prune1.0s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes907.0ms

Accuracy

68.3% (0.8b remaining)

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

bsearch117.0ms

Steps
ItersRangePoint
7
2.7163190676887135e+35
4.783399619773749e+36
3.1758135069508454e+35
7
-8.070639577710365e-76
-1.3393769148916242e-77
-7.687887453796694e-76

simplify4.0ms

Iterations
IterNodes
done24
124
018

end0.0ms

sample1.0s

Algorithm
intervals
Results
510.0ms10645×body80valid