Details

Time bar (total: 42.8s)

sample221.0ms

Algorithm
intervals
Results
81.0ms59×body640valid
67.0ms62×body1280valid
28.0ms191×body80valid
18.0ms35×body320valid
3.0ms9×body160valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done5000
3873
2158
148
019

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.1b

localize49.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l)))
5.0b
(/ (pow t 3.0) l)
8.3b
(* (/ (tan k) l) (/ (pow t 3.0) l))
18.1b
(/ (/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

rewrite261.0ms

Algorithm
rewrite-expression-head
Rules
167×add-exp-log
92×add-cbrt-cube
90×div-exp
80×times-frac
71×add-sqr-sqrt
47×*-un-lft-identity add-cube-cbrt
44×cbrt-undiv
42×prod-exp
25×associate-*r*
23×unpow-prod-down
22×cbrt-unprod
20×associate-/l*
13×associate-*l*
11×associate-/r/
9×pow-to-exp pow-exp sqr-pow
8×unswap-sqr
7×div-inv
6×pow1 associate-*r/
5×associate-/r*
4×frac-times associate-*l/ add-log-exp
3×clear-num frac-2neg
1×flip3-+ pow-prod-down *-commutative flip-+ associate-/l/
Counts
4 → 215
Calls
4 calls:
24.0ms
(/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l)))
12.0ms
(/ (pow t 3.0) l)
51.0ms
(* (/ (tan k) l) (/ (pow t 3.0) l))
159.0ms
(/ (/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

series1.7s

Counts
4 → 12
Calls
4 calls:
469.0ms
(/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l)))
228.0ms
(/ (pow t 3.0) l)
286.0ms
(* (/ (tan k) l) (/ (pow t 3.0) l))
760.0ms
(/ (/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

simplify572.0ms

Counts
227 → 227
Iterations
IterNodes
done5001
11172
0374

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 14.2b

localize68.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
4.7b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
9.8b
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l))))
18.1b
(/ (/ 2.0 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

rewrite333.0ms

Algorithm
rewrite-expression-head
Rules
1274×add-exp-log
657×div-exp
506×prod-exp
206×add-cbrt-cube
115×pow-exp
113×cbrt-undiv
85×cbrt-unprod
77×pow-to-exp
49×times-frac
38×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
19×associate-/l*
16×associate-/r/
13×associate-*l*
11×frac-times unpow-prod-down associate-*l/
9×associate-*r* associate-*r/
8×unswap-sqr
7×pow1
6×div-inv sqr-pow
4×add-log-exp
3×cbrt-prod pow-unpow
2×clear-num associate-/r* pow-pow frac-2neg
1×flip3-+ pow1/3 pow-prod-down *-commutative flip-+ associate-/l/
Counts
4 → 348
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
12.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
47.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l))))
230.0ms
(/ (/ 2.0 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

series2.3s

Counts
4 → 12
Calls
4 calls:
458.0ms
(pow (cbrt t) 3.0)
639.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
424.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l))))
786.0ms
(/ (/ 2.0 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

simplify1.2s

Counts
360 → 360
Iterations
IterNodes
done5000
12437
0634

prune2.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 11.6b

localize98.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt l)
0.7b
(pow (cbrt t) 3.0)
3.0b
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
18.1b
(/ (/ 2.0 (* (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

rewrite531.0ms

Algorithm
rewrite-expression-head
Rules
4002×add-exp-log
2123×div-exp
1694×prod-exp
453×pow-exp
312×add-cbrt-cube
283×pow-to-exp
172×cbrt-undiv
144×cbrt-unprod
86×times-frac
75×add-sqr-sqrt
36×*-un-lft-identity add-cube-cbrt
35×frac-times associate-*l/
34×associate-*r*
32×associate-/r/
27×cbrt-prod
22×associate-/l*
17×associate-*r/
16×unpow-prod-down
14×unswap-sqr
13×associate-*l*
11×sqr-pow
7×pow1
5×div-inv
4×add-log-exp
3×pow-unpow
2×pow-pow pow1/3
1×clear-num associate-/r* frac-2neg flip3-+ pow-prod-down *-commutative flip-+ associate-/l/
Counts
4 → 677
Calls
4 calls:
1.0ms
(cbrt l)
3.0ms
(pow (cbrt t) 3.0)
36.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
390.0ms
(/ (/ 2.0 (* (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

series2.0s

Counts
4 → 12
Calls
4 calls:
277.0ms
(cbrt l)
490.0ms
(pow (cbrt t) 3.0)
390.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
834.0ms
(/ (/ 2.0 (* (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

simplify1.7s

Counts
689 → 689
Iterations
IterNodes
done5000
14412
01038

prune3.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 9.3b

localize74.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
3.0b
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
3.8b
(/ (* (sin k) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))) (* (/ 2.0 (pow (cbrt t) 3.0)) (cbrt l)))
12.9b
(/ (/ 1 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))) (/ (* (sin k) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))) (* (/ 2.0 (pow (cbrt t) 3.0)) (cbrt l))))

rewrite975.0ms

Algorithm
rewrite-expression-head
Rules
16034×add-exp-log
9421×div-exp
6380×prod-exp
1731×pow-exp
1036×pow-to-exp
616×rec-exp 1-exp
562×add-cbrt-cube
360×cbrt-undiv
221×cbrt-unprod
179×times-frac
99×add-sqr-sqrt
66×associate-/r/
60×*-un-lft-identity add-cube-cbrt
52×associate-*l/
36×frac-times
34×associate-*r*
26×div-inv
24×cbrt-prod associate-*r/
16×unpow-prod-down
15×associate-/l*
14×unswap-sqr
13×associate-*l*
11×sqr-pow
7×pow1 associate-/r*
4×add-log-exp
3×pow-unpow associate-/l/
2×clear-num pow-pow frac-2neg
1×flip3-+ pow1/3 pow-prod-down *-commutative flip-+
Counts
4 → 2199
Calls
4 calls:
6.0ms
(pow (cbrt t) 3.0)
30.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
136.0ms
(/ (* (sin k) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))) (* (/ 2.0 (pow (cbrt t) 3.0)) (cbrt l)))
259.0ms
(/ (/ 1 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))) (/ (* (sin k) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))) (* (/ 2.0 (pow (cbrt t) 3.0)) (cbrt l))))

series2.3s

Counts
4 → 12
Calls
4 calls:
459.0ms
(pow (cbrt t) 3.0)
401.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
648.0ms
(/ (* (sin k) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))) (* (/ 2.0 (pow (cbrt t) 3.0)) (cbrt l)))
814.0ms
(/ (/ 1 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))) (/ (* (sin k) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))) (* (/ 2.0 (pow (cbrt t) 3.0)) (cbrt l))))

simplify1.3s

Counts
2211 → 2211
Iterations
IterNodes
done5001
01859

prune5.4s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 8.6b

regimes1.6s

Accuracy

39.1% (3.8b remaining)

Error of 11.3b against oracle of 7.5b and baseline of 13.7b

bsearch796.0ms

Steps
ItersRangePoint
8
3.78240099684613e-111
2.5429692424794708e-107
3.9910204179036743e-109
9
-9.659196323420146e-149
-8.12439858011446e-154
-9.53032794924437e-149

simplify48.0ms

Iterations
IterNodes
done72
172
056

end0.0ms

sample10.8s

Algorithm
intervals
Results
4.7s2138×body1280valid
2.6s1651×body640valid
1.9s5902×body80valid
736.0ms860×body320valid
285.0ms453×body160valid