Details

Time bar (total: 1.1m)

sample292.0ms

Algorithm
intervals
Results
123.0ms59×body1280valid
62.0ms54×body640valid
44.0ms177×body80valid
25.0ms34×body320valid
6.0ms12×body160valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5000
44275
3774
2156
148
019

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.6b

localize50.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
4.4b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.1b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
18.7b
(/ (pow t 3.0) (* l l))

rewrite731.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×expm1-log1p-u flip3-+ flip-+ log1p-expm1-u 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 → 152
Calls
4 calls:
120.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
50.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
536.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
14.0ms
(/ (pow t 3.0) (* l l))

series2.0s

Counts
4 → 12
Calls
4 calls:
442.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
366.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
933.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
270.0ms
(/ (pow t 3.0) (* l l))

simplify2.4s

Counts
164 → 164
Iterations
IterNodes
done5024
23709
1821
0262

prune1.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 14.3b

localize85.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.0b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
8.6b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.1b
(* (* (* (/ (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×expm1-log1p-u log1p-expm1-u 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 → 237
Calls
4 calls:
221.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
33.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
7.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
888.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.2s

Counts
4 → 12
Calls
4 calls:
509.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
318.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
297.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.3s

Counts
249 → 249
Iterations
IterNodes
done5000
11351
0440

prune2.4s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 8.6b

localize139.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
2.5b
(* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.0b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.1b
(* (* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite5.8s

Algorithm
rewrite-expression-head
Rules
2154×add-exp-log
1190×prod-exp
837×div-exp
322×add-cbrt-cube
228×cbrt-unprod
199×pow-to-exp pow-exp
125×associate-*l/
103×frac-times cbrt-undiv
61×pow1
41×pow-prod-down
40×add-sqr-sqrt
37×associate-*l*
34×times-frac
33×associate-*r/
32×*-un-lft-identity tan-quot
27×add-cube-cbrt
20×unpow-prod-down
16×flip3-+ flip-+
12×associate-*r*
10×cbrt-prod
5×unswap-sqr
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp sqr-pow
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in div-inv
Counts
4 → 572
Calls
4 calls:
336.0ms
(* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
1.1s
(* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
26.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
4.3s
(* (* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series2.4s

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

simplify3.3s

Counts
584 → 584
Iterations
IterNodes
done5004
12109
0632

prune3.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 6.0b

localize147.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
2.5b
(* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
4.0b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.1b
(* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite4.0s

Algorithm
rewrite-expression-head
Rules
1549×add-exp-log
893×prod-exp
567×div-exp
235×add-cbrt-cube
171×cbrt-unprod
134×pow-to-exp pow-exp
100×associate-*l/
98×frac-times
73×cbrt-undiv
46×associate-*r/
43×add-sqr-sqrt
41×pow1
36×associate-*l*
35×*-un-lft-identity
34×times-frac
32×tan-quot
30×add-cube-cbrt
26×unpow-prod-down pow-prod-down
16×flip3-+ flip-+
13×cbrt-prod
11×associate-*r*
5×unswap-sqr sqr-pow
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow *-commutative distribute-lft-out
2×pow-pow
1×distribute-rgt-in distribute-lft-in pow1/3 div-inv
Counts
4 → 444
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
708.0ms
(* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
30.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
3.2s
(* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (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:
472.0ms
(pow (cbrt t) 3.0)
576.0ms
(* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
352.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.1s
(* (* (* (/ (/ (pow (cbrt t) 3.0) (cbrt l)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify3.5s

Counts
456 → 456
Iterations
IterNodes
done5001
12283
0646

prune2.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 2.3b

regimes1.3s

Accuracy

43.1% (8.7b remaining)

Error of 11.2b against oracle of 2.5b and baseline of 17.8b

bsearch1.7s

Steps
ItersRangePoint
9
7.156569703705178e-78
1.4168504145887874e-72
9.881784241679104e-76
9
4.4154195331006657e-156
2.140347190891532e-149
6.134741677118166e-155
5
2.0287964304848516e-299
6.200187452052767e-299
2.2377470097235398e-299
9
-8.492677192714912e-172
-6.898411324016558e-177
-8.40729606863466e-172
9
-1.6938002153937483e+104
-2.5769108201642708e+97
-2.924438671962201e+100

simplify3.2s

Iterations
IterNodes
done5000
904990
894936
884884
874830
864778
854724
844672
834618
824566
814512
804460
794406
784354
774300
764248
754194
744142
734088
724036
713982
703930
693876
683824
673770
663718
653664
643612
633558
623506
613452
603400
593346
583294
573240
563188
553134
543082
533028
522976
512922
502870
492816
482764
472710
462658
452604
442552
432498
422446
412392
402340
392286
382234
372180
362128
352074
342022
331968
321916
311862
301810
291756
281704
271650
261598
251544
241492
231438
221386
211332
201280
191226
181174
171120
161064
151010
14938
13858
12790
11734
10670
9588
8472
7375
6300
5246
4188
3155
2132
1117
084

end0.0ms

sample11.1s

Algorithm
intervals
Results
4.2s2042×body1280valid
2.8s1721×body640valid
2.1s5963×body80valid
1.1s848×body320valid
358.0ms437×body160valid