Details

Time bar (total: 1.2m)Debug log

sample191.0ms

Algorithm
intervals
Results
88.0ms446×body80nan
49.0ms285×body80valid

simplify82.0ms

Calls
1 calls:
Slowest
82.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize38.0ms

Local error

Found 4 expressions with local error:

15.7b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
11.9b
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
8.8b
(* (* n (pow (/ l Om) 2)) (- U U*))
7.3b
(/ (* l l) Om)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
22×associate-*r/
11×flip--
11×flip3--
8×frac-sub
8×add-exp-log
8×add-cbrt-cube
8×pow1
6×add-cube-cbrt
6×associate-*r*
6×sqrt-div
6×distribute-lft-in
6×*-un-lft-identity
6×sub-neg
6×add-sqr-sqrt
6×distribute-rgt-in
4×add-log-exp
4×associate--l+
2×cbrt-unprod
2×*-commutative
2×prod-exp
2×pow-prod-down
2×associate-*l*
1×associate-/l*
1×div-inv
1×sqrt-prod
1×pow1/2
1×frac-2neg
1×clear-num
Calls
4 calls:
Slowest
24.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
10.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
5.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
2.0ms
(/ (* l l) Om)

series1.5s

Calls
4 calls:
Slowest
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
269.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
75.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
13.0ms
(/ (* l l) Om)

simplify6.8s

Calls
52 calls:
Slowest
338.0ms
(* (+ t (* 2 (/ (* l l) Om))) (+ U U*))
298.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))
289.0ms
(* (- U*) (* n (pow (/ l Om) 2)))
289.0ms
(- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))
289.0ms
(* (- U*) (* n (pow (/ l Om) 2)))

prune1.5s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 19.3b

localize10.0ms

Local error

Found 4 expressions with local error:

15.7b
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
8.8b
(* (* n (pow (/ l Om) 2)) (- U U*))
7.3b
(/ (* l l) Om)
7.2b
(* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r/
18×distribute-lft-in
18×distribute-rgt-in
11×flip--
11×flip3--
10×sub-neg
8×frac-sub
8×add-exp-log
8×associate--l+
8×add-cbrt-cube
8×pow1
6×sqrt-div
5×add-cube-cbrt
5×*-un-lft-identity
5×add-sqr-sqrt
4×add-log-exp
4×associate-*r*
2×cbrt-unprod
2×*-commutative
2×prod-exp
2×pow-prod-down
2×associate-*l*
1×associate-/l*
1×div-inv
1×sqrt-prod
1×pow1/2
1×frac-2neg
1×clear-num
Calls
4 calls:
Slowest
33.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
16.0ms
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
9.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
4.0ms
(/ (* l l) Om)

series1.6s

Calls
4 calls:
Slowest
1.1s
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
304.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
111.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
15.0ms
(/ (* l l) Om)

simplify9.3s

Calls
57 calls:
Slowest
508.0ms
(sqrt (* (* 2 n) (* U (- (* (- (* t t) (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om)))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3))))))))
455.0ms
(* (* U (- (- (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (* 2 n))
427.0ms
(* (* U (- (- (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (* 2 n))
425.0ms
(* (* (- (- (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))) U) (* 2 n))
399.0ms
(* (* (- (- (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))) U) (* 2 n))

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 16.3b

localize20.0ms

Local error

Found 4 expressions with local error:

15.7b
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
8.8b
(* (* n (pow (/ l Om) 2)) (- U U*))
7.2b
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
5.1b
(* n (pow (/ l Om) 2))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r/
18×distribute-lft-in
18×distribute-rgt-in
12×associate-*r*
11×flip--
11×flip3--
10×sub-neg
8×frac-sub
8×add-exp-log
8×associate--l+
8×add-cbrt-cube
8×pow1
7×add-cube-cbrt
7×*-un-lft-identity
7×add-sqr-sqrt
6×sqrt-div
4×add-log-exp
4×unpow-prod-down
3×*-commutative
2×cbrt-unprod
2×prod-exp
2×pow-prod-down
2×associate-*l*
1×unpow2
1×div-inv
1×sqrt-prod
1×pow1/2
Calls
4 calls:
Slowest
37.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
27.0ms
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
6.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
3.0ms
(* n (pow (/ l Om) 2))

series1.7s

Calls
4 calls:
Slowest
1.2s
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
319.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
111.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
33.0ms
(* n (pow (/ l Om) 2))

simplify9.1s

Calls
65 calls:
Slowest
622.0ms
(- (/ (* U (* n (pow l 2))) (pow Om 2)) (/ (* n (* U* (pow l 2))) (pow Om 2)))
425.0ms
(* (* U (- (- (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (* 2 n))
379.0ms
(* (* U (- (- (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (* 2 n))
360.0ms
(+ (log (* 2 n)) (log (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
357.0ms
(sqrt (* (* 2 n) (* U (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3))))))))

prune1.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 16.1b

localize18.0ms

Local error

Found 4 expressions with local error:

15.7b
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))))
8.8b
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))
7.2b
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
5.2b
(* n (/ l Om))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
152×associate-*r/
45×frac-times
44×flip--
44×frac-sub
44×flip3--
30×associate-*l/
24×sqrt-div
18×distribute-lft-in
18×distribute-rgt-in
11×add-exp-log
11×add-cbrt-cube
11×pow1
10×sub-neg
8×associate--l+
8×associate-*r*
6×add-cube-cbrt
6×*-un-lft-identity
6×add-sqr-sqrt
4×add-log-exp
4×cbrt-unprod
4×prod-exp
4×pow-prod-down
3×*-commutative
2×associate-*l*
1×div-inv
1×sqrt-prod
1×pow1/2
Calls
4 calls:
Slowest
39.0ms
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))))
37.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
10.0ms
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))
1.0ms
(* n (/ l Om))

series1.6s

Calls
4 calls:
Slowest
1.2s
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))))
302.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
87.0ms
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))
22.0ms
(* n (/ l Om))

simplify19.5s

Calls
116 calls:
Slowest
524.0ms
(* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (+ (* U U) (+ (* U* U*) (* U U*))))
417.0ms
(* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* Om Om))
396.0ms
(sqrt (* (* 2 n) (* U (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (* Om (+ (* U U) (+ (* U* U*) (* U U*))))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* (* n l) (/ l Om)) (- (pow U 3) (pow U* 3))))))))
381.0ms
(sqrt (* (* 2 n) (* U (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (* (* Om Om) (+ (* U U) (+ (* U* U*) (* U U*))))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* (* n l) l) (- (pow U 3) (pow U* 3))))))))
368.0ms
(+ (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))

prune2.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 15.4b

regimes1.3s

Accuracy

27.1% (9.4b remaining)

Error of 26.1b against oracle of 16.7b and baseline of 29.6b

bsearch701.0ms

end0.0ms

sample8.1s

Algorithm
intervals
Results
4.2s14884×body80nan
3.0s9210×body80valid