Details

Time bar (total: 59.4s)

sample395.0ms

Algorithm
intervals
Results
131.0ms61×body1280valid
94.0ms30×body320valid
58.0ms45×body640valid
43.0ms156×body80valid
15.0ms23×body160valid

simplify5.2s

Counts
1 → 1
Iterations
IterNodes
done5050
43965
3721
2153
148
019

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.2b

localize89.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.4b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.4b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.6b
(/ (pow t 3.0) (* l l))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
108×add-exp-log
58×prod-exp
52×add-cbrt-cube
26×cbrt-unprod
24×div-exp
21×add-sqr-sqrt
20×pow1
19×*-un-lft-identity
17×times-frac
16×associate-*l/
14×add-cube-cbrt
13×associate-*l*
11×associate-*r*
10×frac-times unpow-prod-down pow-prod-down
8×tan-quot cbrt-undiv pow-to-exp pow-exp
7×associate-/l*
6×associate-*r/
4×flip3-+ flip-+ add-log-exp unswap-sqr sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r*
Counts
4 → 144
Calls
4 calls:
162.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
69.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
1.1s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
24.0ms
(/ (pow t 3.0) (* l l))

series2.6s

Counts
4 → 12
Calls
4 calls:
611.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
460.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
1.2s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
348.0ms
(/ (pow t 3.0) (* l l))

simplify4.6s

Counts
156 → 156
Iterations
IterNodes
done5010
23559
1807
0255

prune1.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.4b

localize158.0ms

Local error

Found 4 expressions with local error:

1.6b
(/ (* (sin k) k) l)
1.6b
(/ (* (sin k) k) l)
5.2b
(/ (* t (pow (/ 1 (pow -1 3.0)) 1.0)) (/ (cos k) (* (/ (* (sin k) k) l) (/ (* (sin k) k) l))))
18.7b
(* (/ (* t t) (/ (cos k) t)) (* (* (/ (sin k) l) (/ (sin k) l)) 2.0))

rewrite604.0ms

Algorithm
rewrite-expression-head
Rules
1075×add-exp-log
555×div-exp
416×prod-exp
316×add-cbrt-cube
143×pow-exp
130×cbrt-unprod
126×cbrt-undiv
44×pow-to-exp times-frac
33×rec-exp 1-exp
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×associate-*l*
16×associate-/r*
13×pow1
11×associate-*l/
8×associate-/r/
7×frac-times associate-*r/ div-inv
6×pow-prod-down
4×add-log-exp
3×frac-2neg clear-num associate-/l*
1×associate-*r* *-commutative
Counts
4 → 336
Calls
4 calls:
24.0ms
(/ (* (sin k) k) l)
52.0ms
(/ (* (sin k) k) l)
173.0ms
(/ (* t (pow (/ 1 (pow -1 3.0)) 1.0)) (/ (cos k) (* (/ (* (sin k) k) l) (/ (* (sin k) k) l))))
273.0ms
(* (/ (* t t) (/ (cos k) t)) (* (* (/ (sin k) l) (/ (sin k) l)) 2.0))

series2.2s

Counts
4 → 12
Calls
4 calls:
95.0ms
(/ (* (sin k) k) l)
103.0ms
(/ (* (sin k) k) l)
1.7s
(/ (* t (pow (/ 1 (pow -1 3.0)) 1.0)) (/ (cos k) (* (/ (* (sin k) k) l) (/ (* (sin k) k) l))))
309.0ms
(* (/ (* t t) (/ (cos k) t)) (* (* (/ (sin k) l) (/ (sin k) l)) 2.0))

simplify3.2s

Counts
348 → 348
Iterations
IterNodes
done5001
11672
0565

prune2.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 1.5b

localize164.0ms

Local error

Found 4 expressions with local error:

2.3b
(* t (/ (sin k) l))
2.3b
(* t (/ (sin k) l))
2.9b
(* (/ t (cos k)) (* (* (* t (/ (sin k) l)) (* t (/ (sin k) l))) 2.0))
5.2b
(/ (* t (pow (/ 1 (pow -1 3.0)) 1.0)) (/ (cos k) (* (/ (* (sin k) k) l) (/ (* (sin k) k) l))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
1031×add-exp-log
520×div-exp
415×prod-exp
272×add-cbrt-cube
143×pow-exp
129×cbrt-unprod
91×cbrt-undiv
45×times-frac
44×pow-to-exp
41×add-sqr-sqrt
33×pow1 rec-exp 1-exp
31×add-cube-cbrt *-un-lft-identity
27×associate-*r*
21×pow-prod-down
19×associate-*l*
17×associate-*r/
11×associate-*l/
10×associate-/r*
7×frac-times associate-/r/
6×div-inv
4×add-log-exp unswap-sqr
3×*-commutative
1×frac-2neg clear-num associate-/l*
Counts
4 → 340
Calls
4 calls:
30.0ms
(* t (/ (sin k) l))
33.0ms
(* t (/ (sin k) l))
1.0s
(* (/ t (cos k)) (* (* (* t (/ (sin k) l)) (* t (/ (sin k) l))) 2.0))
610.0ms
(/ (* t (pow (/ 1 (pow -1 3.0)) 1.0)) (/ (cos k) (* (/ (* (sin k) k) l) (/ (* (sin k) k) l))))

series2.2s

Counts
4 → 12
Calls
4 calls:
112.0ms
(* t (/ (sin k) l))
125.0ms
(* t (/ (sin k) l))
324.0ms
(* (/ t (cos k)) (* (* (* t (/ (sin k) l)) (* t (/ (sin k) l))) 2.0))
1.7s
(/ (* t (pow (/ 1 (pow -1 3.0)) 1.0)) (/ (cos k) (* (/ (* (sin k) k) l) (/ (* (sin k) k) l))))

simplify3.3s

Counts
352 → 352
Iterations
IterNodes
done5002
11618
0556

prune2.9s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 1.0b

localize156.0ms

Local error

Found 4 expressions with local error:

2.3b
(* t (/ (sin k) l))
2.3b
(* t (/ (sin k) l))
2.9b
(* (/ t (cos k)) (* (* (* t (/ (sin k) l)) (* t (/ (sin k) l))) 2.0))
7.8b
(* t (/ (* (sin k) k) l))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
152×add-exp-log add-cbrt-cube
92×prod-exp cbrt-unprod
42×add-sqr-sqrt
35×pow1
34×associate-*r*
32×times-frac
30×add-cube-cbrt *-un-lft-identity
27×cbrt-undiv div-exp
22×associate-*l* pow-prod-down
16×associate-*r/
9×associate-*l/
5×frac-times unswap-sqr
4×*-commutative div-inv add-log-exp
Counts
4 → 170
Calls
4 calls:
33.0ms
(* t (/ (sin k) l))
47.0ms
(* t (/ (sin k) l))
895.0ms
(* (/ t (cos k)) (* (* (* t (/ (sin k) l)) (* t (/ (sin k) l))) 2.0))
43.0ms
(* t (/ (* (sin k) k) l))

series754.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* t (/ (sin k) l))
176.0ms
(* t (/ (sin k) l))
292.0ms
(* (/ t (cos k)) (* (* (* t (/ (sin k) l)) (* t (/ (sin k) l))) 2.0))
169.0ms
(* t (/ (* (sin k) k) l))

simplify4.8s

Counts
182 → 182
Iterations
IterNodes
done5000
24276
1983
0310

prune1.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.5b

regimes1.1s

Accuracy

0% (2.1b remaining)

Error of 2.7b against oracle of 0.5b and baseline of 2.7b

bsearch0.0ms

simplify14.0ms

Iterations
IterNodes
done36
136
027

end0.0ms

sample14.6s

Algorithm
intervals
Results
6.3s2020×body1280valid
3.7s1772×body640valid
2.7s6034×body80valid
943.0ms875×body320valid
395.0ms401×body160valid