Details

Time bar (total: 1.0m)

sample333.0ms

Algorithm
intervals
Results
130.0ms62×body1280valid
79.0ms61×body640valid
50.0ms182×body80valid
46.0ms21×body320valid
10.0ms17×body160valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
46079
31031
2181
154
019

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.3b

localize77.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (/ t (/ l t)) (/ (tan k) (/ l t)))
2.7b
(* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t))))
4.9b
(/ (tan k) (/ l t))
13.5b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t)))))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
258×times-frac
221×add-cbrt-cube add-exp-log
167×add-sqr-sqrt
131×*-un-lft-identity add-cube-cbrt
108×cbrt-undiv div-exp
66×prod-exp cbrt-unprod
47×associate-*l*
45×associate-*r*
18×associate-/l*
16×div-inv
14×associate-/r*
11×pow1
10×associate-/r/
9×associate-*r/ unswap-sqr
4×pow-prod-down insert-posit16 add-log-exp
3×frac-times associate-*l/
2×clear-num frac-2neg flip3-+ *-commutative flip-+ associate-/l/
1×tan-quot
Counts
4 → 328
Calls
4 calls:
21.0ms
(* (/ t (/ l t)) (/ (tan k) (/ l t)))
36.0ms
(* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t))))
7.0ms
(/ (tan k) (/ l t))
82.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
210.0ms
(* (/ t (/ l t)) (/ (tan k) (/ l t)))
225.0ms
(* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t))))
163.0ms
(/ (tan k) (/ l t))
935.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t)))))

simplify3.6s

Counts
340 → 340
Iterations
IterNodes
28431
11804
0558

prune5.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 11.2b

localize54.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (sin k) (* t (/ (tan k) (/ l t))))
4.9b
(/ (tan k) (/ l t))
7.1b
(* (/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t))))) (/ l t))
11.7b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t)))))

rewrite398.0ms

Algorithm
rewrite-expression-head
Rules
193×add-cbrt-cube add-exp-log
142×times-frac
81×add-sqr-sqrt
80×cbrt-undiv div-exp
76×*-un-lft-identity add-cube-cbrt
71×prod-exp cbrt-unprod
23×associate-*l*
18×associate-/l*
14×associate-/r* associate-*r*
11×pow1 div-inv
9×associate-/r/
7×associate-*r/
4×pow-prod-down insert-posit16 add-log-exp
3×flip3-+ flip-+
2×clear-num frac-2neg *-commutative unswap-sqr associate-/l/
1×frac-times associate-*l/ tan-quot
Counts
4 → 252
Calls
4 calls:
51.0ms
(* (sin k) (* t (/ (tan k) (/ l t))))
14.0ms
(/ (tan k) (/ l t))
232.0ms
(* (/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t))))) (/ l t))
91.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t)))))

series1.7s

Counts
4 → 12
Calls
4 calls:
235.0ms
(* (sin k) (* t (/ (tan k) (/ l t))))
153.0ms
(/ (tan k) (/ l t))
922.0ms
(* (/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t))))) (/ l t))
428.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t)))))

simplify2.7s

Counts
264 → 264
Iterations
IterNodes
26360
11305
0435

prune3.6s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 10.9b

localize55.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t)))))
4.9b
(/ (tan k) (/ l t))
7.1b
(* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))) (/ l t))
11.4b
(/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))

rewrite352.0ms

Algorithm
rewrite-expression-head
Rules
379×add-cbrt-cube add-exp-log
206×times-frac
175×cbrt-undiv div-exp
134×prod-exp cbrt-unprod
114×add-sqr-sqrt
106×*-un-lft-identity add-cube-cbrt
42×associate-*r*
37×sqrt-prod
27×associate-/l*
23×associate-*l*
14×associate-/r*
12×div-inv
11×pow1
9×associate-/r/
6×frac-times associate-*l/ associate-*r/
4×pow-prod-down insert-posit16 add-log-exp
3×flip3-+ flip-+ unswap-sqr
2×clear-num frac-2neg *-commutative associate-/l/
1×tan-quot
Counts
4 → 361
Calls
4 calls:
115.0ms
(* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t)))))
15.0ms
(/ (tan k) (/ l t))
142.0ms
(* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))) (/ l t))
58.0ms
(/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))

series2.5s

Counts
4 → 12
Calls
4 calls:
631.0ms
(* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t)))))
188.0ms
(/ (tan k) (/ l t))
1.2s
(* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))) (/ l t))
485.0ms
(/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))

simplify3.9s

Counts
373 → 373
Iterations
IterNodes
27506
11775
0553

prune5.9s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 10.7b

localize73.0ms

Local error

Found 4 expressions with local error:

6.8b
(/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) t)
7.1b
(* (* (* (/ (sqrt 2) (sin k)) (/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) t)) (/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) (/ (tan k) (/ l t)))) (/ l t))
12.1b
(sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)))
12.1b
(sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)))

rewrite582.0ms

Algorithm
rewrite-expression-head
Rules
275×add-cbrt-cube add-exp-log
202×times-frac
200×sqrt-prod
131×add-sqr-sqrt
121×*-un-lft-identity add-cube-cbrt
114×cbrt-undiv div-exp prod-exp cbrt-unprod
27×associate-/l*
17×frac-times associate-*l/
15×pow1
13×associate-*r*
12×associate-/r/
8×div-inv
7×associate-*r/
6×rem-sqrt-square flip3-+ pow-prod-down flip-+
4×insert-posit16 add-log-exp
3×associate-/r* sqrt-div
2×sqrt-pow1 pow1/2
1×clear-num frac-2neg associate-*l* *-commutative associate-/l/
Counts
4 → 326
Calls
4 calls:
52.0ms
(/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) t)
482.0ms
(* (* (* (/ (sqrt 2) (sin k)) (/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) t)) (/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) (/ (tan k) (/ l t)))) (/ l t))
18.0ms
(sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)))
15.0ms
(sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)))

series2.1s

Counts
4 → 12
Calls
4 calls:
234.0ms
(/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) t)
1.4s
(* (* (* (/ (sqrt 2) (sin k)) (/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) t)) (/ (sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2))) (/ (tan k) (/ l t)))) (/ l t))
234.0ms
(sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)))
205.0ms
(sqrt (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)))

simplify2.3s

Counts
338 → 338
Iterations
IterNodes
24191
11322
0517

prune6.2s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 10.6b

regimes411.0ms

Accuracy

0% (1.8b remaining)

Error of 12.6b against oracle of 10.8b and baseline of 12.6b

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
224
124
020

end0.0ms

sample15.7s

Algorithm
intervals
Results
7.3s2138×body1280valid
3.8s1673×body640valid
2.6s5838×body80valid
1.3s906×body320valid
407.0ms462×body160valid