Details

Time bar (total: 52.7s)

sample243.0ms

Algorithm
intervals
Results
101.0ms71×body1280valid
39.0ms193×body80valid
38.0ms26×body320valid
37.0ms44×body640valid
6.0ms12×body160valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5032
44037
3735
2153
148
019

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.0b

localize45.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.3b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.8b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.1b
(/ (pow t 3.0) (* l l))

rewrite646.0ms

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×pow-to-exp cbrt-undiv pow-exp tan-quot
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 clear-num associate-/r* frac-2neg distribute-lft-in
Counts
4 → 144
Calls
4 calls:
62.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
28.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
541.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
9.0ms
(/ (pow t 3.0) (* l l))

series2.0s

Counts
4 → 12
Calls
4 calls:
514.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
344.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
900.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
256.0ms
(/ (pow t 3.0) (* l l))

simplify2.6s

Counts
156 → 156
Iterations
IterNodes
done5007
23583
1804
0254

prune1.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 14.2b

localize93.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
7.1b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.8b
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
304×add-exp-log
184×prod-exp
78×add-cbrt-cube
77×div-exp
50×add-sqr-sqrt
49×times-frac
44×associate-*l/ cbrt-unprod
42×*-un-lft-identity
37×add-cube-cbrt
36×associate-*l*
34×frac-times
33×pow-exp
29×pow1
24×unpow-prod-down
22×pow-to-exp
17×pow-prod-down
16×tan-quot
14×associate-*r/
12×cbrt-undiv
11×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+ sqr-pow
5×associate-/l* unswap-sqr
4×add-log-exp
3×associate-/r* *-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in
Counts
4 → 229
Calls
4 calls:
231.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
26.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
15.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
936.0ms
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.7s

Counts
4 → 12
Calls
4 calls:
607.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
350.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
585.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.1s
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify2.6s

Counts
241 → 241
Iterations
IterNodes
done5002
11315
0432

prune2.3s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 12.0b

localize114.0ms

Local error

Found 4 expressions with local error:

1.7b
(* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
3.2b
(* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.8b
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
1884×add-exp-log
1025×prod-exp
732×div-exp
334×pow-exp
204×times-frac
199×pow-to-exp
151×add-cbrt-cube
136×associate-*l*
105×add-sqr-sqrt
97×*-un-lft-identity
92×add-cube-cbrt
78×cbrt-unprod
54×unpow-prod-down
47×associate-*l/
38×sqr-pow
37×cbrt-undiv
35×frac-times
34×pow1
20×pow-prod-down
16×tan-quot
15×associate-*r/
12×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+
7×div-inv
5×unswap-sqr
4×*-commutative add-log-exp
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in associate-/r/
Counts
4 → 585
Calls
4 calls:
121.0ms
(* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
228.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
48.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.2s
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.5s

Counts
4 → 12
Calls
4 calls:
448.0ms
(* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
575.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
380.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.0s
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify3.5s

Counts
597 → 597
Iterations
IterNodes
done5001
12359
0739

prune3.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 9.4b

localize170.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k))
4.3b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
7.5b
(/ (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (* (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))) (cos k)))
11.7b
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
1214×add-exp-log
792×prod-exp
329×div-exp
159×pow-exp
142×add-cbrt-cube
96×pow-to-exp
79×cbrt-unprod
40×add-sqr-sqrt
36×associate-*l*
35×times-frac
32×*-un-lft-identity
30×cbrt-undiv
27×add-cube-cbrt
20×unpow-prod-down
18×associate-*l/
13×pow1
11×associate-*r* associate-*r/
10×cbrt-prod
5×pow-prod-down unswap-sqr associate-/l/
4×frac-times flip3-+ flip-+ add-log-exp sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in associate-/r/ associate-/l*
Counts
4 → 322
Calls
4 calls:
148.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k))
32.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
648.0ms
(/ (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (* (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))) (cos k)))
745.0ms
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.6s

Counts
4 → 12
Calls
4 calls:
338.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k))
347.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.1s
(/ (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (* (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))) (cos k)))
845.0ms
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (sin k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify2.4s

Counts
334 → 334
Iterations
IterNodes
done5000
11361
0456

prune1.9s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 7.6b

regimes1.5s

Accuracy

20.7% (5.9b remaining)

Error of 12.6b against oracle of 6.7b and baseline of 14.2b

bsearch1.1s

Steps
ItersRangePoint
8
1.7368421141129907e-168
1.092726871164934e-163
1.0711091684878143e-163
9
-5.895185482915648e-102
-4.5403082006195266e-110
-4.610332633780607e-110

simplify50.0ms

Iterations
IterNodes
done72
172
056

end0.0ms

sample11.5s

Algorithm
intervals
Results
5.4s2041×body1280valid
2.2s5895×body80valid
2.2s1725×body640valid
940.0ms909×body320valid
239.0ms450×body160valid